awk经常使用字符串处理函数