, ef