function anchor_highlight ()
{
var url = document.location + "";
var urlAr = url.split("#");

if (urlAr[1] && document.getElementById(urlAr[1])){
  var u =   urlAr[1].replace (/s/g, "d");

  var e = document.getElementById(u);
  
  /* weiche für ie 55 6 7*/
 if (document.createEventObject)
    e.setAttribute("className", "details highlight");
else
{e.setAttribute("class", "details highlight");	}
}
}