function topNavInit() {
    // need just the filename of the currently selected page
    var url = document.URL;
    var pagename = topNavGetNameFromPath(url);
	topNavInit(pagename);
}
function topNavInit(highlight) {

    // need just the filename of the currently selected page
    var topmenu = document.getElementById('ja-transmenu');
    for (var i=0; i < topmenu.childNodes.length; i++) {
    	var child = topmenu.childNodes[i];
        if (child.childNodes.length > 0) {
        	var hrefnode = child.childNodes[0];
	        var hrefname = topNavGetNameFromPath(hrefnode.href);
	        if (hrefname == highlight) {
	            hrefnode.className = 'havechild-mainlevel-active-trans';
	        }
        }
    }
}
function topNavGetNameFromPath(path) {
    var fullFilename = new String(path);
    var index = fullFilename.lastIndexOf('/');
    var filename = fullFilename.substr(index+1);
    return filename;
}

function topNavGetMenuParentFilename(child) {
    var parent = child.parentNode.parentNode;
    var filename = "";  
    var children = parent.children;
    for (var ii=0; ii < children.length; ii++) {
        if (children[ii].nodeName == "A") {
            filename = getNameFromPath(children[ii].href);
        }
    }
    return (filename);
}