<?php

$fil = fopen("datafil2.dat","r");
while($linje = fgets($fil))
{
    echo trim($linje) . "¤¤";
}
fclose($fil);

?>