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