document.write(' 71139 ');