8,253 coins