<!--
var blocked = false;

function showDiv(divname) {
	thisDiv = document.getElementById(divname);
	thisDiv.style.visibility = "visible";
}

function hideDiv(divname) {
	if(!blocked) {
	thisDiv = document.getElementById(divname);
	thisDiv.style.visibility = "hidden";
	}
}

function block() {
	blocked = true;
}
function unblock() {
	blocked = false;
}
// -->