document.write('
3.9
');