fun can mean amusement, entertainment, relaxation, recreation, enjoyment, pleasure, diversion, distraction, play, good time, jollification, junketing, or merry-making