紫柏、憨山、藕益、蓮池。