document.write(' 42480 ');