/* bewirkt bei Beruehren eines *internen* Links im Inhaltsbereich, dass der
   dazu gehoerende Eintrag im Menue gleichzeitig hervorgehoben wird */


// window.onload=jsInit();

function jsInit()
{
	document.getElementById("drucklink").innerHTML='<a href="javascript:self.print();">Drucken</a> &middot;';
}



function remoteHover(pa_link)
{
  var
    an_aus,
    menu_id,
    link_url=pa_link.href;

  menu_id=link_url.substring(0,link_url.lastIndexOf("."));
  menu_id='a_'+menu_id.substring(menu_id.lastIndexOf("/")+1,menu_id.length);
  
  document.getElementById(menu_id).className="remotehover";
}

function remoteUnHover(pa_link)
{
  var
    an_aus,
    menu_id,
    link_url=pa_link.href;

  menu_id=link_url.substring(0,link_url.lastIndexOf("."));
  menu_id='a_'+menu_id.substring(menu_id.lastIndexOf("/")+1,menu_id.length);

  document.getElementById(menu_id).className="";
}