function menuActivated(menu) {
	var li = menu.getElementsByTagName('ul')[0].getElementsByTagName('li');
	for (var i in li) {
		if (!i.match(/\d+/)) {
			continue;
		}
		var a = li[i].getElementsByTagName('a')[0];
		if (document.location.href == a.href || document.location.href.match(/\/$/) && a.href.match(/index\.php$/)) {
			a.id = 'selected';
			
			return;
		}
	}
}