  <!-- Begin
  if (window != top) top.location.href = location.href;
  function selectTab(n) {
  var panelID = "p1"
  var numDiv = 8
  for(var i=0; i < numDiv; i++) {
  var panelDiv = window.document.getElementById(panelID+"panel"+i)
  var tabDiv = document.getElementById(panelID+"tab"+i)
  z = panelDiv.style.zIndex
  if (z != numDiv && i == n) { z = numDiv }
  else { z = (numDiv-i) }
  panelDiv.style.zIndex = z;
  tabDiv.style.zIndex = z;
  }
  }
  //  End -->