document.write('
7.9
');