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