document.write("13000");