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