<!-- 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)  {

	Covenant = new Image(133,29);
        Covenant.src = "/RUC/images/button/Exhibitions/Covenant.gif";
        Covenant2 = new Image(133,29);
        Covenant2.src = "/RUC/images/button/Exhibitions/CovenantOn.gif";

        Falling = new Image(133,29);
        Falling.src = "/RUC/images/button/Exhibitions/Falling.gif";
        Falling2 = new Image(133,29);
        Falling2.src = "/RUC/images/button/Exhibitions/FallingOn.gif";

        Search = new Image(133,29);
        Search.src = "/RUC/images/button/Exhibitions/Search.gif";
        Search2 = new Image(133,29);
        Search2.src = "/RUC/images/button/Exhibitions/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";

        Exhibitions = new Image(133,29);
        Exhibitions.src = "/RUC/images/button/Exhibitions.gif";
        Exhibitions2 = new Image(133,29);
        Exhibitions2.src = "/RUC/images/button/ExhibitionsOn.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 -->