document.write('

7.6

');