python打开dat文件