// See if we're using IE.
var IE = document.all?true:false;
if (!IE) document.captureEvents(Event.MOUSEMOVE)
document.onmousemove = clearBlocker;

var block = false;

function clearBlocker() {
	block = false;
}

function ShowInfo(id)
{
	if (block)
		return;
	if (id != null)
		block = true;

	var i = 1;
	while (document.getElementById("circle" + i) != null) {
		document.getElementById("circle" + i).style.visibility = ((i == id) ? 'hidden' : 'visible');
		document.getElementById("info" + i).style.visibility = ((i == id) ? 'visible' : 'hidden');
		i++;
	}
	document.getElementById("instructions").style.visibility = ((id == null) ? 'visible' : 'hidden');	
}
