document.write("12000");