function HideLinkFocus()
{
  if(document.all)
  {
    for (var i = 0; i < document.links.length; i++)
     document.links[i].hideFocus = true;
  }
}

function druckversion(url)
  {
    var name = "Druckversion";
    var features = "menubar=yes,scrollbars=yes,status=no,width=550,height=600,left=10,top=10";
    win = window.open(url,name,features);
    win.focus();
  }