12,525 coins