document.write("40012");