document.write('13.9');