document.write(' 42497 ');