エレベーターピット内補修工事。