HIRES

Definition of HIRES