// Determine if this is IE or not
var ua = navigator.userAgent;
//boolean isFirefox = ( ua != null && ua.indexOf( "Firefox/" ) != -1 );
var isMSIE = ( ua != null && ua.indexOf( "MSIE" ) != -1 );

function mahGetElementById(theid)
{
	var elem;
	if (document.getElementById) { elem = document.getElementById(theid);	}
	else if (document.all) { elem = document.all[theid];}
	else {elem = null;}
	return elem;
}