All non-schengen non-LCC flights arrive at T3. US Carrier and El Al flights depart from "T5" which isn't really a Terminal at all but just a check-in/security building. Then you're bused to T3 where the flight actually departs.