function getSafeElement(id) {
	return document.getElementById?document.getElementById(id):(document.all?document.all(id):null)
}
function hideDiv(id) {
	getSafeElement(id).style.visibility = "hidden";
}

function showDiv(id) {
	getSafeElement(id).style.visibility = "visible";
}
function switchDiv(id) {
	if (getSafeElement(id).style.visibility == "visible") {
		getSafeElement(id).style.visibility = "hidden";
	} else {
		getSafeElement(id).style.visibility = "visible";
	}
}