private static uint FOURTH_CARD(System.UInt32 hv) { return (((hv) >> FOURTH_CARD_SHIFT) & CARD_MASK); }