document.write("12000")