document.write(' 42830 ');