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