function setSectionLink()
        {

        var path = location.pathname;
        var pathparts = path.split("/");
        var size = pathparts.length;
        var lastindex = size -1;
        var filename = pathparts[lastindex];
	
	if (filename == "")
		{
		filename = "index.shtml";
		}
	
	imgid = "img_" + filename;
	
        var linkelement = document.getElementById(filename);
        if (linkelement)
                {
                linkelement.style.color = "#fc3";
                }
	
	var imgelement = document.getElementById(imgid);
	if (imgelement)
		{
		imgelement.style.visibility = "visible";
		}

        }

function pageNav()
	{
	var anchor = document.nav.anchors.options[document.nav.anchors.selectedIndex].value;
	window.location = "#" + anchor; 

	}