function showInfo(id) {
	document.getElementById(id).style.display = "block";
	return true;
}
function hideInfo(id) {
	document.getElementById(id).style.display = "none";
	return true;
}
function border_focus(id, is_left) {
	document.getElementById(id).style.border = "1px solid gray";
	document.getElementById(id).style.borderBottom = "none";
	document.getElementById(id).style.borderLeft = "none";
	if (is_left == 1)
		document.getElementById(id).style.borderLeft = "1px solid gray";
}
function border_lost(id, is_left, is_left_of_focus) {
	document.getElementById(id).style.border = "1px solid silver";
	document.getElementById(id).style.borderBottom = "1px solid gray";
	document.getElementById(id).style.borderLeft = "none";
	if (is_left == 1)
		document.getElementById(id).style.borderLeft = "1px solid silver";
	if (is_left_of_focus == 1)
		document.getElementById(id).style.borderRight = "1px solid gray";
}
function showhide(whichLayer) {
	if (document.getElementById) {
		var style2 = document.getElementById(whichLayer).style;
		style2.visibility = style2.visibility? "":"visible";
	}
}