codice:
echo count(file($filename));
ciao