function loadHTML_old(html_url, element_id){
	var xmlhttp = new ActiveXObject("Msxml2.XMLHTTP");
	var element = document.getElementById(element_id);
	element.innerHTML = '<p><em>Loading ...</em></p>';
	xmlhttp.open("GET", html_url);
	xmlhttp.onreadystatechange = function(){
		if (xmlhttp.readyState == 4 && xmlhttp.status == 200){
			element.innerHTML = xmlhttp.responseText;
		}
	}
	xmlhttp.send(null);
}
function loadHTML(htmlurl, element_id)
{
	new Ajax.Updater(element_id,htmlurl);
}