document.write('

9.6

');