awk 数组合并成一个字符串