Codice PHP:

$File 
fopen("AAAAA.txt","r");
while(!
feof($File))
{
$linea fgets($File250);
if (
$line !="")$ctr++;
echo (
$linea) . "
"
;
}
fclose($File);echo ($ctr);exit;