document.write(' 117943 ');