11,493 coins