document.write('9.6');