847,400 coins