document.write('

4.2

');