function stylelinks(lnk) {
  ids = new Array("idx","sem","ort","zeich","tune","dict","ress","imp", "form");
  for(var i=0; i < ids.length; ++i){
    if (lnk == ids[i]) {
	  	document.getElementById(ids[i]).style.textDecoration = "none";
    	document.getElementById("img" + ids[i]).src = "images/arr.gif";
		}
		else {
		  document.getElementById(ids[i]).style.textDecoration = "underline";
	  	document.getElementById("img" + ids[i]).src = "images/noarr.gif";
		}
	}
}