awk 获取数字字符