document.write('9.873');