3,993 coins