function setcss(k) {
 /* die ersten 7 Links nicht beachten */
 for(var i = 7; i < document.getElementsByTagName("a").length; i++) {
   if (k != i)
	   document.getElementsByTagName("a")[i].style.fontWeight = "normal"; // ursprünglicher Style
   else
	   document.getElementsByTagName("a")[i].style.fontWeight = "bold"; // Focus-Link
	  
    }
}

function sethover(k) {
 for(var i = 0; i < document.getElementsByTagName("td").length; i++) {
   if (k != i)
	   document.getElementsByTagName("td")[i].style.background = "#00ff00";
   else
	   document.getElementsByTagName("td")[i].style.background = "#ffffff";
    }
}