HAVEREL

Definition of HAVEREL