function markCurrent () {
		var links = this.menu.getElementsByTagName("a");
		for (var i = 0; i < links.length; i++) {
			if (links[i].href == document.location.href) {
				links[i].className = "current";
				break;
			}
		}
	}