document.write('

3.7

');