今年のクリスマスイブは振り替え休日なんですね。