document.write('

5.7

');