document.write(' 42708 ');