document.write(' 42600 ');