function showdiv(name) {
	document.getElementById(name).style.visibility="visible";
}

function hidediv(name) {
	document.getElementById(name).style.visibility="hidden";
}

function opencatalog(page) {
	var w = window.open(page, "catalog", "width=425, height=565, left=50, top=100, location=no, menubar=no, resizable=no, scrollbars=no, status=no, toolbar=no", false);
	w.focus();
}