The probability that when a hand of 7 cards is dealt from a well-shuffled deck of 52 cards, it contains at least 3 king is: