function destroy()
  {
    foreach (array_keys($_SESSION) as $k)
    {
      unset($_SESSION[$k]);
    }
    setcookie(session_name(), session_id(), 1, '/');
    unset($_COOKIE[session_name()]);
    session_destroy();
  }