01-11-2017 - What is fun: pleasure, enjoyment, or entertainment... ;-)