include "./lib.php"; session_start(); if($_SESSION[ID]==""){ echo("session is null"); goto_index(); exit; } ?>