function updateCounty(County)
// if the map was clicked
{
    if (document.frm_search.elements[County].checked == 0)
        {document.frm_search.elements[County].checked = 1;
		document.frm_search.elements.county.value = document.frm_search.elements.county.value + "'" + County + "'";
		}
		else {document.frm_search.elements[County].checked = 0;
		tempstring = document.frm_search.elements.county.value;
		document.frm_search.elements.county.value = tempstring.replace("'" + County + "'",'');
		}
}

function updateCountyString(County)
// if a checkbox was clicked
{
    if (document.frm_search.elements[County].checked == 0)
        {tempstring = document.frm_search.elements.county.value;
	document.frm_search.elements.county.value = tempstring.replace("'" + County + "'",'');
	}
	else 
	{document.frm_search.elements.county.value = document.frm_search.elements.county.value + "'" + County + "'";
	}
}


function show(thiscolor) {

	if(document.all) {
		document.all.mapirl.style.filter="chroma(color="+thiscolor+")";}
}

function unshow(thiscolor) {
	if(document.all) {
	document.all.mapirl.style.filter="chroma(color="+thiscolor+")";}
}