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