python求一个字符串的长度