function loadJavascript(url) {
	/*	Create SCRIPT element and add properties	*/
	var js = document.createElement('SCRIPT');
	js.type = 'text/javascript';
	js.src = url;
	
	/*	Add it to body	*/
	document.body.appendChild(js);
}
function loadAjax() {
	loadJavascript("ajax.php?client=main,request,httpclient,dispatcher,json,util");
}
function loadAjaxModule(module) {
	loadJavascript("ajax.php?stub="+module);
}
function hideElement(id) {
	if (document.getElementById(id)) document.getElementById(id).style.display = "none";
}
function showElement(id) {
	if (document.getElementById(id)) document.getElementById(id).style.display = "block";
}