python判断字符串数字个数