HOTCHPOT

Definition of HOTCHPOT