(n.) Time for play or diversion.