12,993 coins