document.write(' 18442 ');