document.write('17.2');