selectMenu = function(menu) {
	var menu = document.getElementById(menu);
	
	if (menu != null) {
	
		var page = window.location.toString();
		page = page.substring(page.lastIndexOf("/") + 1);
	
		var anchors = menu.getElementsByTagName('a');
		for (var i=0, len=anchors.length; i<len; i++) {
			var href = anchors[i].href;
			if (page == href.substring(href.lastIndexOf("/") + 1)) {
				anchors[i].className = 'selected';
			}
		}
	}
}