document.write(' 93102 ');