3,253 coins