function show(what) {
	document.getElementById(what).style.display = 'block';
}

function hide(what) {
	document.getElementById(what).style.display = 'none';
}

function enfocus(what) {
	defocusOthersThan(what);
	show(what);
}

function defocus(what) {
	if (what == 'all') {
		
	} else {
		setTimeout('hide(\''+what+'\')', 500);
	}
}

function defocusOthersThan(what) {
	var map = document.getElementById('map');
	var els = map.getElementsByTagName('div');
	for (var i = 0; i < els.length; i++) {
		if (els[i].className == 'mapEntry') {
			els[i].style.display = 'none';
		}
	}
}