document.write(' 10442 ');