洞源

　　同洞淵，亦即水源。謂人津液所出之所。