document.write('

4.7

');