function Show(id,Visible) {
	var El = document.getElementById (id);
	if (El) {
		El.style.display = (Visible ? 'inline' : 'none');
	}

	// prevents the downward shift of content due to 
	// changing visibility here
	El = document.getElementById ('top_menu_empty');
	if (El) {
		El.style.display = (Visible ? 'none' : 'inline');
	}
}