var pictOn = "./rsrc/img/menu_dot_on.gif";
var pictOff = "./rsrc/img/menu_dot.gif";

function rollOn(pictName)
{ document[pictName].src = pictOn; }

function rollOff(pictName)
{ document[pictName].src = pictOff; }

function rollTextOn(textName)
{
         var obj=null;
  if(document.all) obj=document.all[textName];
        else if(document.getElementById) obj = document.getElementById(textName);
        if(!obj) return;
        obj.style.color="#FF7F00";
}

function rollTextOff(textName)
{
         var obj=null;
  if(document.all) obj=document.all[textName];
        else if(document.getElementById) obj = document.getElementById(textName);
        if(!obj) return;
        obj.style.color="#0C419A";
}