document.write("940136")