document.write("12006");