document.write(' 93100 ');