document.write(' 42496 ');