document.write('9.875');