document.write('

5.2

');