（菩萨）高贵德王菩萨之略。