document.write('
5.8
');