元明之际杂剧《韩元帅暗度陈仓》(撰人不详)的简名。见该条。