if(!isset($_SESSION)) { session_start(); }