function externalLinks()
{
 if (!document.getElementsByTagName)
  return;
 extLk(document.getElementsByTagName("a"),"rel")
 extLk(document.getElementsByTagName("area"),"title")
}

function extLk(_a_,_r_)
{
 for (var i=0;i<_a_.length;i++)
 {
  anc=_a_[i]
  ext="extern@l"
  if (anc.getAttribute("href") && anc.getAttribute(_r_).substr(0,ext.length) == ext)
  {
   anc.target="_blank"
   if (anc.title.substr(ext.length)=="#")
    anc.alt=""
   anc.title=""
  }
 }
}
