document.write(' 93012 ');