document.write('
8.6
');