// JavaScript Document
if (document.getElementById) {
	var menu = document.getElementById("issuesmenu");
	var links = menu.getElementsByTagName("a"); 
	for (var i = 0; i < links.length; i++) { 
		var link = links[i];
		if (String(document.location).indexOf(String(link.href)) >= 0)
			link.className = "current";
    }
}