function menu_setwidth (objname, delta, fullwidth)
{
	var obj = document.getElementById(objname);
	if (obj.style.display != 'none') {
		width = parseInt(obj.style.width) + delta;
		if (width > fullwidth)
			width = fullwidth;
		obj.style.width = width + 'px';
		if (width < fullwidth)
			setTimeout ('menu_setwidth("'+objname+'",'+delta+','+fullwidth+');', 20);
	}
}

function expandmenu (objname, fullwidth)
{
	document.getElementById(objname).style.display = 'block';
	var delta = fullwidth / 10;
	menu_setwidth (objname, delta, fullwidth);
}

function check_setwidth (objname)
{
	var obj = document.getElementById(objname);
	if (obj.style.display == 'none')
		obj.style.width = '0px';
}

function hidemenu (objname)
{
	document.getElementById(objname).style.display = 'none';
	setTimeout ('check_setwidth("'+objname+'");', 50);
}