document.write(' 42716 ');