document.write(' 9640 ');