window.onload = function(){	highLightCurrent();var links = document.getElementsByTagName("a");for (var i=0; i<links.length; i++){if (links[i].className=="popUp"){links[i].setAttribute("title","click to open in a pop up window") links[i].onclick = function(){popUp(this.getAttribute("href"));return false;}}}}function popUp(file) {window.open (file, "", "width=500, height=480");}function highLightCurrent(){	currentURL = window.location;	var sectionsNav = document.getElementById('sectionsNav');	if (!sectionsNav){return}	var sideNavA = sectionsNav.getElementsByTagName('a');	for(i=0;i<sideNavA.length;i++){		if(currentURL==sideNavA[i].href){sideNavA[i].className="current"}	}} 
