function TreeMenu_Width_Set(menuNumber){var menu=document.getElementById("tmenus"+menuNumber);var div=menu.parentNode;if(div.style.width=="100%")div.style.width=div.parentNode.offsetWidth;};