document.write(' 42667 ');