先用file_get_contents($filename);把该文件的内容做成一个字符串,然后在字符串进行处理
$str=file_get_contents($filename);
$len=strlen($str);
for($i=0;$i<$len;$i=$i+80)
{
    varstr[]=substr($str,0,80);
    $str=substr($str,80);
}prit_r($str);这样应该是可以了,
不知道有没有更好的办法.