元明之际杂剧《十八国临潼斗宝》(撰人不详)的简名。见该条。