document.write(' 42506 ');