留给娱乐的时间；

• allocated time for recreation;