session_start(); if ($logout) { setcookie ("SHAaccess_cookie", "", time() - 3600,"/"); header("Location: index.php"); } ?>