function showHideLogoDiv (state) {
	try {
		if (document.getElementById ('logo')) document.getElementById ('logo').style.visibility = state;
	}
	catch (e) {
		alert ('showHideLogoDiv failed : ' + e.name + ':' + e.message);
	}
}