导出的