hrliboff = new Image();
hrliboff.src = "images/nav_hrlib_off.gif";

hrlibon = new Image();
hrlibon.src = "images/nav_hrlib_on.gif";

resourcectroff = new Image();
resourcectroff.src = "images/nav_resourcectr_off.gif";

resourcectron = new Image();
resourcectron.src = "images/nav_resourcectr_on.gif";

sharedoff = new Image();
sharedoff.src = "images/nav_shared_off.gif";

sharedon = new Image();
sharedon.src = "images/nav_shared_on.gif";


function buttonOver(imgName) {
	buttonChange(imgName,'on');
}

function buttonOut(imgName) {
	buttonChange(imgName,'off');
}

function buttonChange(imgName,mode) {
	document[imgName].src = eval(imgName + mode + ".src");
}