document.write('

9.7

');