python输出字符串个数