12,752 coins