（菩薩）高貴德王菩薩之略。