function activateButton(button) {
for(var i=0; i<document.anchors.length; i++)
{  if (document.anchors[i].name == button) document.anchors[i].className = "active";}    
}