おやすみです。手続き上、代休でもよかったらしい。