9,473,085 coins