// JScript source code
function activelink(link_id)
{
  doc = document.getElementById(link_id);
  doc.className = "Nav_active";
}