function ispage (page_name) 
{
   // Browser-sniffing variables.
   var minNav3 = (navigator.appName == "Netscape" &&  parseInt(navigator.appVersion) >= 3);
   var minIE4 = (navigator.appName.indexOf("Microsoft") >= 0 &&  parseInt(navigator.appVersion) >= 4);
   var minDOM = minNav3 || minIE4   // Baseline DOM required  for this function
   // Initialize array to be returned.
   var results = new Array()
   if (minDOM) {
      // Unescape and strip away leading question mark.
      var input = unescape(location);
      if (input) 
      {
      	if (input.search(".htm") >= 0)
      	{
      		res = input.search(page_name);
      		if (res >= 0)
      			return true;
      	}
      	else //sg like www.mydomain.be/
      	{
      		if (page_name.search("index.htm") >= 0)
      		   return true;
      	}
      }
   }
   return false;
}
function set_sel1 (page_name)
{
	if (ispage (page_name))
		document.write('<span class="sel">');
}

function set_sel2 (page_name)
{
	if (ispage (page_name))
		document.write('</span>');
}