万笑寒 (癸酉)