document.write(' 71142 ');