$key = htmlspecialchars($_GET["k"]);

switch($key)
{
    case 'etablissement_v2':
        header("Location: /home.php");
        exit();
	default:
    header("Location: /404.php");
    exit();
}