$view = "home";
if(!empty($_GET['view'])) {
    $view = $_GET['view'];
}


$view = preg_replace("/[^a-z0-9_]/", "", $view);


if ($view == 'home') {
   // JAVASCRIPT FÜR ANIMATION WENN VIEW == HOME
   echo '<script>..........</script>';
}


$incfile = "view_".$view.".inc.php";
if(!file_exists($incfile)) {
    $incfile = "view_notfound.inc.php";
}