function adjustMenu() {
	var obj = document.getElementById("menu");
	var totalWidth = 0;
	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";
	obj.style.visibility = 'visible';
}