document.write('
7.8
');