document.write('9.5');