var isDOM = (document.getElementById ? true : false);	// NS6/7
var isNS  = (document.layers ? true : false);			// NS4
var isIE  = (document.all ? true : false);				// IE


function getObjectById(id) {	
	if (isDOM) return document.getElementById(id);
	if (isIE) return document.all[id];
	if (isNS) return document.layers[id];	
	
	return document.layers[id];
}

function endOfSession(){
	alert('end of page');
}

function terminateSession(contextPath_url_de_logout){
	window.location = contextPath_url_de_logout+"/logout.htm";
}