3,752 coins