session_start();
 if(!isset($_SESSION['time']))
     $_SESSION['time'] = time();
 if(time() - $_SESSION['time'] > 600) // 10 mins
  {
    session_destroy();
    unset($_SESSION);
  }
 else
    $_SESSION['time'] = time();