金庸先生的《倚天屠龙记》中，武当七侠有一个人的名字是金庸先生原创的，是谁呢？