document.write('11.50');