function topmenuList(n) {
	var topMenu = document.getElementById("topmenuList").getElementsByTagName("a");
	var a = topMenu.item(n);
	if (a==null) return;
	if (n==0) a.style.backgroundImage = "url(/jdd/public/images/2011/menuL-on.gif)";
	else a.style.backgroundImage = "url(/jdd/public/images/2011/menu-on.gif)"; }

topmenuList(0);