document.write(' 117993 ');