var opened = 0;

function display(elmnt) {
	if (opened != 0) {
		document.getElementById(opened).style.display = "none";
	}
	
	document.getElementById(elmnt).style.display = "block";
	opened = elmnt;
}

function openwindow(uri) {
	window.open(uri);
} 

function mOvr(elmnt) {
	elmnt.src = elmnt.src.replace(".png","active.png");
}

function mOut(elmnt) {
	elmnt.src = elmnt.src.replace("active.png",".png");
}