约瑟夫环数学推导:怎样修改文件格式