document.write('9.7');