今日は勤労感謝の日なんですね。