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