12,419 coins