小明一家三个人去公园去玩，一张门票是5元，他们一共花了多少元门票钱？