document.write(' 42440 ');