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