document.write('9 7 ');