document.write('
7.0
');