document.write("257.40");