document.write(' 42601 ');