// Cross-browser object getter thing 
function getobj(id)
	{
	if (document.getElementById)
		{
		return document.getElementById(id);
		}
	else if (document.all)
		{
		return document.all[id];
		}
	else // satisfy mozilla js debugger
		{
		return document.all[id];
		}
	}



// Cell hide-show tool
function visible_show(i)
	{ getobj(i).style.display = ''; }

// Cell hide-show tool
function visible_hide(i)
	{ getobj(i).style.display = 'none'; }