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