function init_topmenu() {
	if (document.getElementById('menu_links')) {
		var contentDiv = document.getElementById("menu_links");
		var els = contentDiv.getElementsByTagName("a");
		for (var i = 0; i < els.length; i++) {
			els[i].id = "menuItem"+i;
			els[i].className = "menuItem";
		}
	}
}
window.onload = init_topmenu;