9.724)