open(ABC, "