function setClass(what, value)
{
//alert('disp> '+ what+'  '+value+' : '+ typeof(what));
	if (typeof(what) == 'string')
		window.document.getElementById(what).className = value;	//style.display = value;
	else
		what.className = value;
}

function show()
{
	var i, numargs = show.arguments.length;

	for (i = 0; i < numargs; i++) {
		setClass(show.arguments[i], '');
	}
}

function hide()
{
	var i, numargs = hide.arguments.length;

	for (i = 0; i < numargs; i++) {
		//var w = hide.arguments[i];
		setClass(hide.arguments[i], 'hide');
	}
}