海の日

　海の日ですか
　いつの間にできてたのこの休日
　夏休みの開始を１日早めたところでどうなるのさ
　それをハッピーマンデーで絡め取るとなんだかな・・・
　どうせ休日作るんなら、６月にハッピーマンデー適用するとか、５月１日のメイデーを休日にした方がどんなに嬉しかったか