function menuhighlight() { 
	var m=document.getElementById('menus');
	var mlinks=m.getElementsByTagName('a'); // get all anchors
	var max=mlinks.length;
	// find current page name
	var URL = unescape(location.href);	 // get current URL in plain ASCII
	var xstart = URL.lastIndexOf("/") + 1;  // find last slash
	var pgname = URL.substring(xstart);  // get everything after slash (assumes no args passed to page)
	var i=0;
	for (i=0;i<max;i++) {  // loop through anchors in menu
		if (mlinks[i].getAttribute('href')==pgname) {  // test href value
			mlinks[i].setAttribute('id','active');  // if match, insert ID attribute
			i=max; // fall out of loop
		}
	}
}