Workers playtime. (Workers Playtime, 1982)