document.write("9.5折");