海蟾子

即“刘海蟾”。