document.write("40002");