is_numeric($xxx)；