python输入字符串输出数字字符个数