/* JAVASCRIPT DOCUMENT */

function openNewWindow(page, title, opts) {
	window.open(page, title, opts);
}
function hideDiv(theDiv) {
	document.getElementById(theDiv).style.visibility = 'hidden';
}
function showDiv(theDiv) {
	document.getElementById(theDiv).style.visibility = 'visible';
}