HIGHT

Definition of HIGHT