document.write(' 9642 ');