function loadHTML(url){
	var request = null;
	
	if (!request) try {
	request = new XMLHttpRequest();
	}catch(e){}
	
	if (!request) try {
	request = new ActiveXObject('Msxml2.XMLHTTP');
	}catch(e){}
	
	if (!request) try{
	request = new ActiveXObject('Microsoft.XMLHTTP');
	}catch(e){}
	
	if (!request) return "";
	
	request.open('GET', url, false);
	request.send(null);

	return request.responseText;
}

function $(id){
	return document.getElementById(id);
}