历史知识 > 海蟾子

即“刘海蟾”。