document.write(' 94112 ');