var agent=navigator.userAgent.toLowerCase();
var major=parseInt(navigator.appVersion);
var NN=((agent.indexOf('mozilla')!=-1)&&(agent.indexOf('spoofer')==-1)&&(agent.indexOf('compatible')==-1)&&(agent.indexOf('opera')==-1)&&(agent.indexOf('webtv')==-1));
var IE=(agent.indexOf("msie")!=-1);
var OP=(agent.indexOf("opera")!=-1);
if((NN&&(major==2))||(IE&&(major==3)))JSV=1.0
else if((NN&&(major==3))||OP)JSV=1.1
else if(NN&&(major==4))JSV=1.2
else if(NN&&(major>=5))JSV=1.3
else if(IE&&(major==4))JSV=1.0
else if(IE&&(major>=5))JSV=1.2
else if((!NN)&&(major>=5))JSV=1.1 // Kludge! Trying to make IE work. (8/4/00)
else JSV=1;
var JS11=(JSV>=1.1);
var JS12=(JSV>=1.2);
var JS13=(JSV>=1.3);
function noErrors(){return true}
self.onerror=noErrors;
if(JS11){
imageLoc=baseAddr+"images/";

D=new Image(12,12);
R=new Image(12,12);
Y=new Image(12,12);
B=new Image(12,12);
D.src=imageLoc+"DotBG.gif";
Y.src=imageLoc+"Y.gif";
B.src=imageLoc+"B.gif";
R.src=imageLoc+"R.gif"}

clicked = -1;

// Mouse actions:

// Colors:
BdCol={Ovr:"008000", Dwn:"008000", Clk:"008000", Out:"ffffff"};
BdSty={Ovr:"outset", Dwn:"inset",  Clk:"inset",  Out:"solid"};
BgCol={Ovr:"aaffaa", Dwn:"ffffaa", Clk:"ffcbcb", Out:"ffffff"};

Bdr=[];
Bkg=[];

function setColors(n,ev){
 if(Bdr[n]==null){
  Bdr[n]=document.getElementById('a'+n);
  Bkg[n]=Bdr[n].firstChild.firstChild;
 }
 Bdr[n].style.borderStyle=BdSty[ev];
 Bdr[n].style.borderColor="#"+BdCol[ev];
 Bdr[n].style.borderColor="#"+BdCol[ev];

 Bdr[n].style.backgroundColor="#"+BdCol[ev];
 Bkg[n].style.backgroundColor="#"+BgCol[ev];
}

function MOvr(n,s){
 if(JS11)document.images["I"+n].src=R.src;
 setColors(n,"Ovr");
 self.status=s;
 return true;
}

function MDwn(n){
 if(JS11)document.images["I"+n].src=Y.src;
 setColors(n,"Dwn");
 return false;
}

function MOut(n){
 if(JS11)document.images["I"+n].src=D.src;
 setColors(n,"Out");
 self.status='';
 return true;
}

function MClk(n){
 if(clicked>=0){
  if(clicked==n){ if(JS11)document.images["I"+n].src=R.src; clicked = -1; return false; }
  else{ if(JS11)document.images["I"+clicked].src=D.src; }
  if(JS12)stop();
 }
 if(JS11)document.images["I"+n].src=B.src;
 clicked=n;
 setColors(n,"Clk");
 return true;
}