document.write('15.7');