document.write('

9.5

');