// JavaScript Document
var divMenu = document.getElementById("menu_header");
var aTags = divMenu.getElementsByTagName("a");
var ulTags = divMenu.getElementsByTagName("ul");
var ulWidth = 0;
for(var i=0; i<aTags.length; i++){
        ulWidth += aTags[i].offsetWidth + 8;
}
ulTags[0].style.width = ulWidth + "px";