document.write('17.5');