function select_nav_entry() {
        var menu_listing = document.getElementById("nav_menu");
	if(!menu_listing) return(0);
	menu_listing.style.backgroundColor = '#ffffff';
	menu_listing.style.color = '#247ca8';
	window.setTimeout('select_nav_now()', 1000);
}

function select_nav_now() {
	var url_full = document.URL;

	if(document.referrer &&
		(url_full.match(/\.cgi\//) || url_full.match(/\/tools\//))) {
		url_full = document.referrer;
	}
 
	var path_full = url_full.replace(/^https?:\/\/[^\/]+\//, "/");
	var path_folder = path_full.replace(/\/[^\/]+$/, "/");
        var menu_listing = document.getElementById("nav_menu");
	for (i = 0; i < menu_listing.length; ++i) {
	        if (menu_listing.options[i].value != path_folder)
			continue;
		menu_listing.options[i].selected = true;
		break;
	}
	menu_listing.style.backgroundColor = '#247ca8';
	menu_listing.style.color = '#ffffff';
}