document.write(' 42493 ');