$‎9 .712