海の日が月曜日に固定される前の日付は7月20日だったでしょうか、ひょっとして21日だったでしょうか、どちらかが元海の日でしたね。「ほんとは今日は休みだったのにな〜」と言っても、もうすでに休んでしまったので意味はないのですが。 まだ先週までの疲れ…