document.write('

7.2

');