7,506 coins