var GETELEMENT_JS = true;

/* getElementById emulation for Internet Explorer */
if(document.all && !document.getElementById) {
	document.getElementById = function(id) {
		return document.all[id];
	}
}

function getElementIfId(id)
{
	// Returns a getElementById if the input is a string, else acts as a passthru
	if (typeof(id)=='string') {
		return document.getElementById(id);
	}
	else {
		return id;
	}
}