document.write('9.32');