function trap(anchorObj){
	if (anchorObj.className == '') nocache(anchorObj.href);
	return false;
}

function SetCur(){
	folderName	=	(location.pathname.split("/"))[2];
	anchorObj = document.getElementById("sect_"+folderName);
if(!anchorObj) return;
	anchorObj.className = "cur";
	folderName	=	(location.pathname.split("/"))[3];
	anchorObj = document.getElementById("nav_"+folderName);
if(!anchorObj) return;
	anchorObj.className = "cur";
}

function Print(theURL){
	thePrintURL = nocacheURL(theURL);
	optionParam = "width=240,height=160";
	window.open(thePrintURL,"PRINT",optionParam);
}