document.write(' 94140 ');