$site_name

"; } else { echo "

$site_name

"; } if(isset($_GET['filename'])) { $filename = $_GET['filename']; echo " "; } else { echo " "; }