document.write('11.25');