python 数字大小遍历文件