Definition of HOGSHEAD