document.write("12006")