echo "<a href=\"$file\">$file</a>\n";