未测试，但可能类似于 if(preg_match("/^[0-9,]+$/", $a)) $a = str_replace(...)

Not tested, but probably something like if(preg_match("/^[0-9,]+$/", $a)) $a = str_replace(...)