tabs = document.getElementById("menu").getElementsByTagName("td");
lastactive = 0;
url = document.URL.replace(/^[a-z]*:\/\/[^\/]*/,"");
for(i = 0; i < tabs.length; i++) {
    href = tabs[i].getElementsByTagName("a")[0].href;
    href = href.replace(/^[a-z]*:\/\/[^\/]*/,"");
    pat = new RegExp("^" + href);
    if (pat.test(url)) {
	lastactive = i;
    }
}
tabs[lastactive].innerHTML =
    tabs[lastactive].getElementsByTagName("a")[0].innerHTML;
tabs[lastactive].className = "tab-active";