Each player shuffles the cards from his or her hand into his or her library, then draws that many cards.