9,993 coins