$fp = fopen("001.txt","r");
for($i=0;$i<3;$i++) {
  $buf = fgets($fp,2048);
  echo $buf;
}