document.write(' 117942 ');