document.write('15.8');