function changeDivBG(fileName, divId, htmlText)
{
	changeDivHTMLText(htmlText, 'infobox');
	var div = document.getElementById(divId);
	div.style.backgroundImage="url("+fileName+")";
}

function changeDivHTMLText(txt, divId)
{
	var div = document.getElementById(divId);
	div.innerHTML = txt;
}

function searchDistrict(districtId)
{
	var district = document.getElementById("hiddenDistrict");
	var frm = document.getElementById("sf");
	district.value=districtId;
	frm.submit();
}