document.write('9 0 3 0 ');