___，一名博物，字子寿。