document.write('17.6');