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