function invi(flag,objid)
{
	if (!DHTML) return;
	var x = new getObj(objid);
	x.style.visibility = (flag) ? 'hidden' : 'visible'
}

function displ(flag,objid)
{
	if (!DHTML) return;
	var x = new getObj(objid);
	x.style.display = flag
}

function bord(width,style,color,objid)
{
	if (!DHTML) return;
	var x = new getObj(objid);
	x.style.borderWidth = width
	x.style.borderStyle = style
	x.style.borderColor = color
}
