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