Randy pushes out the bottom-most card, now, and it turns out to be a jack of clubs. On second thought he pulls that jack out and leaves it on his knee for the time being, so he won’t mess the next part up. According to the mnemonic symbols he’s marked on his fingernails, the numerical value of this jack of clubs is simply 11. So, starting from the top of the deck, he counts down to the eleventh card, cuts the deck below it, then swaps the two halves, and finally takes the jack of clubs off his knee and puts it on the bottom of the deck again.