唐僧逢汉宝，山洞得天名。