document.write(' 93142 ');