function navegaSelect3()
    {	
	    var sel=document.getElementById("select3");
	    document.location=sel.value;
	    
    }
			
				
				

// JavaScript Document

/* script to read meta data for what menu to highlight
----------------------------------------------- */
function getSectionName() {
  var metaElements1 = document.all ?
    document.all.tags('META') :
    document.getElementsByTagName ?
    document.getElementsByTagName ('META') : new Array();
  var metaSectionName = new Array();
  var i = 0;
  for (var m = 0; m < metaElements1.length; m++)
    if (metaElements1[m].name == 'section')
      metaSectionName[i++] = metaElements1[m].content;
  return metaSectionName;
}

function getSubSectionName() {
  var metaElements2 = document.all ?
    document.all.tags('META') :
    document.getElementsByTagName ?
    document.getElementsByTagName ('META') : new Array();
  var metaSubSectionName = new Array();
  var j = 0;
  for (var n = 0; n < metaElements2.length; n++)
    if (metaElements2[n].name == 'subsection')
      metaSubSectionName[j++] = metaElements2[n].content;
  return metaSubSectionName;
}

function getSubSubSectionName() {
  var metaElements3 = document.all ?
    document.all.tags('META') :
    document.getElementsByTagName ?
    document.getElementsByTagName ('META') : new Array();
  var metaSubSubSectionName = new Array();
  var j = 0;
  for (var n = 0; n < metaElements3.length; n++)
    if (metaElements3[n].name == 'subsubsection')
      metaSubSubSectionName[j++] = metaElements3[n].content;
  return metaSubSubSectionName;
}

/* script to highlight menus
----------------------------------------------- */
function highlightTopMenu() {
	if (getSectionName()!="") 
		document.getElementById("navTopGlobal"+getSectionName()+"_tab").className = 'selected';	
}

function highlightTopSubMenu() {
	if (getSubSectionName()!="") 
		document.getElementById("navTopLocal"+getSectionName()+getSubSectionName()+"_tab").className = 'selected';	
}

function highlightLeftNavMenu() {
	if (getSubSubSectionName()!="") 
		document.getElementById(getSubSubSectionName()).className = 'selected';	
}