What is 71% of 13?

9.23