document.write(' 42494 ');