document.write('

7.56
');