python怎么输出字符个数