DEMAIN

Definition of DEMAIN