document.write('15.80');