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