安元

安元为金朝人物，石匠。