document.write("10942");