function highlight_menu() {
  var i, a, a_link;
  var doc_link = window.location + "";
  var doc_link_bit = doc_link.split('/');
	//document.write(doc_link_bit[3]);
	for(i=0; (a = document.getElementsByTagName("a")[i]); i++) {
    	a_link = a.href;
		a_link_bit = a_link.split('/');
		if (a_link_bit[3] == doc_link_bit[3]) {
			//alert(a_link_bit[3] + ' =? ' + doc_link_bit[3]);
			a.className = 'highlight';
		}
		if (a_link_bit.length > 4 && doc_link_bit.length > 4) {
				//alert(a_link_bit[4]);
			if ( (a_link_bit[4] == doc_link_bit[4]) ) {
				a.className = 'sub-highlight'; }
			else {
				a.className = 'no-highlight'; 
			}
		}
	}
}