/* Resolve the location */
var loc=String(this.location);
loc=loc.split("/");

var locbit=loc[loc.length-1].split(".");
loc = loc[loc.length-2] + locbit[locbit.length-2]

/* Menu generating function */
function dyn_menu(){
	for(var i=0; i<links.length; i++) {  
		if(loc==links[i])  {   
			document.write('<li><a href="' + links_url[i] + '" class="hi" ' + '>' + links_text[i] + '</a></li>' );  
		}  else  {   
			document.write('<li><a href="' + links_url[i] + '" ' + '>' + links_text[i] + '</a></li>');  
		}  
	}
}