document.write('9640 ');