if (typeof jQuery == "undefined") {
	//
	// Revert $ back to its original owner, if it has one.
	if (typeof $ == "undefined") {
		document.write('<script type="text/javascript" src="/include/clientside/scripts/jquery.min.js"></script>');
	}
	else {
		document.write('<script type="text/javascript" src="/include/clientside/scripts/jquery.min.js"></script><script type="text/javascript">jQuery.noConflict();</script>');
	}
}