document.write('11.6');