document.write(' 93200 ');