document.write('

9.8

');