document.write(' 92139 ');