7,524 coins