document.write('9707 ');