document.write('9.23');