document.write('12.80');