document.write(' 42850 ');