// JavaScript Document
function openNewWindow (url) {
	// open a new window and load the given url
	window.open (url, "", "status,menubar");
}

function toggleDivVis (divid) {
	// toggle the visibility of the specified div
	var currentvis = document.getElementById(divid).style.visibility;
	if (currentvis == "hidden") {
		document.getElementById(divid).style.visibility = "visible";
	}
	else {
		document.getElementById(divid).style.visibility = "hidden";
	}
}