document.write('9.471');