unset ($_SESSION[totaltime]); unset ($_SESSION[totalqueries]);
unset ($_SESSION['totaltime']); unset ($_SESSION['totalqueries']);