そう言えば、5月5日は月曜日だから、世間は3連休なのかふーん、とか思って念のためカレンダーを確認したら、5月6日も振り替え休日で4連休だった