document.write(' 42707 ');