document.write(' 42780 ');