document.write('13.80');