document.write('9.8');