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