document.write(' 11742 ');