// browser test:
agent = navigator.userAgent
browserVer = 2
if (agent.substring (0,7) == "Mozilla")
{
	if (parseInt (agent.substring (8,9)) >= 3) {browserVer = 1;}
}

	if (browserVer == 1)
{

   imagearchives = new Image();
   imagearchives.src = "../images/news/archives.gif";
   imagearchivesmo = new Image();
   imagearchivesmo.src = "../images/news/archivesmo.gif";
   

}

function hiLite(imgDocID,imgObjName) {
// manages mouseOver animations
//   imgDocID - the name or number of the document image to be replaced
//   imgObjName - the name of the image object to be swapped in
if (document.all) { 
	document.images[imgDocID].src = eval(imgObjName + ".src");
   }
 if (document.layers)
   {
    document.images[imgDocID].src=eval(imgObjName + ".src");
   }
}