<!--
function Highlight(sId)
{
	document.all("aEurope").className="aMapNormal";
	document.all("aUSA").className="aMapNormal";
	document.all("aSAmericas").className="aMapNormal";
	document.all("aArabStates").className="aMapNormal";
	document.all("aAsiaPacific").className="aMapNormal";

	if (sId!="") document.all(sId).className="aMapHighlighted";
}
//-->