function Menu() {
	var boxes = document.getElementById('menu').childNodes;
	var width = 0;
	for(var i=0; i<boxes.length; i++) {
		if(boxes[i].tagName == "LI") {
			width += boxes[i].offsetWidth;
		}
	}
	document.getElementById('menu').style.width = width + 'px';
}