function fixMenuLinks() {
	if (!document.getElementsByTagName) return null;
	var server = document.location.hostname;
	var anchors = document.getElementById("dhtml-menu").getElementsByTagName("a");
	for(var i=0; i < anchors.length; i++) {
		var a = anchors[i];
		var href = a.href;
		var id = a.id;
		var title = a.title;
		var index = href.indexOf("#") + 1;
		href = "#none";
		a.setAttribute("href",href);
	}
}

window.onload = function() {
	fixMenuLinks();
}