document.write('

3.8

');