", $testo1);
//$directory = str_replace(" ", "...", $directory);
//$directory = str_replace(chr(13), "...", $directory);
if (!isset($directory))
{
$directory = $numeri_disponibili[$n-3];
$directory = trim($directory);
$numero=$numeri_disponibili[$n-2];
$data_attuale=$numeri_disponibili[$n-1];
}
else
{
$i=0;
while ($i<$n)
{
if ($numeri_disponibili[$i]==$directory)
{
$numero=$numeri_disponibili[$i+1];
$data_attuale=$numeri_disponibili[$i+2];
}
$i=$i+1;
}
}
//$directory=$directory."/";
?>
", $testo1);
echo $testo1;
?>
