<!-- Hiding
// check if the browser is Navigator 3 or higher:
agent=navigator.userAgent;
browserVer=2;

if(agent.substring(0,7)=="Mozilla"){
	if(parseInt(agent.substring(8,9)) >= 3){
		browserVer=1;
	}
}

// preload universal images:

if (browserVer == 1)  {



        DB = new Image(133,29);
        DB.src = "/RUC/images/button/Research/DB.gif";
        DB2 = new Image(133,29);
        DB2.src = "/RUC/images/button/Research/DBOn.gif";

        SPSS = new Image(133,29);
        SPSS.src = "/RUC/images/button/Research/SPSS.gif";
        SPSS2 = new Image(133,29);
        SPSS2.src = "/RUC/images/button/Research/SPSSOn.gif";

        Tax = new Image(133,29);
        Tax.src = "/RUC/images/button/Research/tax.gif";
        Tax2 = new Image(133,29);
        Tax2.src = "/RUC/images/button/Research/taxon.gif";

        Research = new Image(133,29);
	Research.src = "/RUC/images/button/Research.gif";
        Research2 = new Image(133,29);
	Research2.src = "/RUC/images/button/ResearchOn.gif";
        
        Search = new Image(133,29);
        Search.src = "/RUC/images/button/Research/Search.gif";
        Search2 = new Image(133,29);
        Search2.src = "/RUC/images/button/Research/SearchOn.gif";

	Contact = new Image(133,29);
        Contact.src = "/RUC/images/button/Contact.gif";
        Contact2 = new Image(133,29);
        Contact2.src = "/RUC/images/button/ContactOn.gif";
        
        Project = new Image(133,29);
        Project.src = "/RUC/images/button/ProjectHome.gif";
        Project2 = new Image(133,29);
        Project2.src = "/RUC/images/button/ProjectHomeOn.gif";

     }

function hiLite(imgDocID, imgObjName) {

// imgDocID - the name or number of the document image to be replaced
// imgObjName - the name of the image object to be swapped in


        if (browserVer == 1) {
               document.images[imgDocID] .src = eval (imgObjName +  ".src")  }}       

function printS(s)

        {
        window.status=s;
        return true;
   }

function clearS()

        {
        window.status="";
        return true
        }

// End hiding -->