窈窕紫云洞，闻在葛岭西。琤琮乳窦水，流出是桃溪。