The online game of Texas Hold