document.write(' 94142 ');