! (EF (ENDST1=1));
! (EF (ENDST2=1));
! (EF (ENDST3=1));