grazie gianiaz... ma avevo già provato.. c'è un errore con le parentesi graffe in quel codice... e non sono riuscito a sistemarmelo...

poi...il file è sullo stesso server della pagina php che lo deve aprire...

ho provato pure

$lines = file($url);
foreach($lines as $line_num => $line) {
echo "Line #{$line_num} : " . htmlspecialchars($line) . "
\n";
}

preso dagli esempi di http://it.php.net/manual/it/function.file.php

ma il risultato è sempre NULL

il file che devo aprire si chiama test.html e contiene:

%3Cp%3EPassw0rd%3A+Z0MG%3C%2Fp%3E


...qualche altra idea?!?