ef (9)