ピンクは韓国の慶祝日, 赤は日本の慶祝日です.
オレンジは特別日です。

「７月に休日を」との名目で設けられたのが
２０日の「海の日」です。そして、今年 ’０３年からは「それが日曜日に当たるときは
翌日を「休日」とするように変更されました。
これを「ハッピー・マンディ」と言います。