awk如何算字符串长度