document.write(' 8642 ');