python怎么统计字符串个数