{php $corp[corpname]=str_replace('/','公司_'.$city[cityname].$city[area][$areaid][areaname],$corp[corpname])}