function showLink(link)
{
  if (link.indexOf('sup.')>-1)
  {
    link = link.replace('sup.', '%20sup.');
  }
  if (link.indexOf('inf.')>-1)
  {
    link = link.replace('inf.', '%20inf.');
  }
  myLink = window.open(link, "ShowLink", "width=700,height=700, menubar=no, resizable=yes, status=no, titlebar=no, toolbar=no, scrollbars=yes");
  myLink.focus();
  return false;
}

