document.write(' 42700 ');