document.write('9.527')