金庸这个笔名被广大武侠迷熟知，那么金庸先生原本姓（）。