function adjustMenu()
{
	var obj = document.getElementById("menu");
	var totalWidth = 1;
	objChildren = obj.childNodes;
	len = objChildren.length;

	for(i = 0; i < len; i++)
	{
		thisChild = objChildren[i];
		if(thisChild.nodeType == 1)
		totalWidth += parseInt(thisChild.offsetWidth);
	}

	obj.style.width = totalWidth + "px";
}