//Reset the timeout for logging off the user. It is currently set to 2 hours.
	var tID;	
	//setting timeout limit in milliseconds; currently 2 hours 5 mins
	var timeoutTime = 7500000;

	if (!tID) { 
		//create cookie to record last access time		
		var cookie_date = new Date();		
		var cookie_value = cookie_date.getTime();		
		document.cookie = "PORTAL_LAST_ACCESS="+cookie_value+"; domain=.gartner.com ; path=/";		
	
		//set timeout timer
		tID = setTimeout('executeTimer()', timeoutTime);
   	}
	
	function executeTimer() {
		//get PORTAL_LAST_ACCESS cookie value
		var results = document.cookie.match ( '(^|;) ?' + "PORTAL_LAST_ACCESS" + '=([^;]*)(;|$)' );
		var lastAccessTime = 0;
		if ( results ){
			lastAccessTime = (unescape(results[2]));
		}
	
		//get current time
		var currentTime = (new Date()).getTime();
		
		//time since last access
		var sinceLastAccessTime = (currentTime - lastAccessTime);
	
		//if time since last access is greater than timeout time; than logoff
		if(sinceLastAccessTime > timeoutTime ){			
			location.href = '/generic/logoff.do?pageTimeout=true';
			clearTimeout(tID);
			tID = null;
		}
		else{ //reset timer for timeout
			var executeTimerTime = timeoutTime - sinceLastAccessTime;			
			setTimeout('executeTimer()', executeTimerTime);
		}	  
	}