document.write("12002")