$file"); } else { echo("$file"); } } } ?>