<?
session_start();
$home=14;
$droits = $_SESSION["droits"];
if ($droits != "admin")
{
  $home = 1;
}
$_SESSION["home"] = $home;
require "index2.php";
?>