document.write(' 95139 ');