У профессиональных игроков в покер различные сочетания карт имеют шуточные названия. Например, две семерки – это «топорики». В честь кого российские игроки в покер называют сочетание карт король и семерка?