document.write('11.80');