修繕工事後。