document.write('
7.5
');