document.write('9.427');