function highlight(name) {
	var divs = document.getElementsByTagName('div');
	for(var i = 0; i < divs.length; i++) {
		if(divs[i].className.match(("country-"+name)) != null) {
			divs[i].style.border="1px solid red";
		}
	}
}

function unhighlight(name) {
	var divs = document.getElementsByTagName('div');
	for(var i = 0; i < divs.length; i++) {
		if(divs[i].className.match(("country-"+name)) != null) {
			divs[i].style.border="1px solid #888";
		}
	}
}