function showOrHide(idname) {
	var mi = document.getElementById(idname); if( mi.style.display == "none" ) { mi.style.display = "";	} else { mi.style.display = "none"; }
}
function updateCell(id, text) {
	cell=getEl(id);
	cell.innerHTML = text;
}
function liftBar(n) {
	bar = getEl("bar"+n);
	bar.height += 10;
}
function getEl(id) {
	return document.getElementById(id);
}