<!--
var WinNr = 0;
var DisplaySection = "";

function SetScreenWidth(wd,ht,mv){
  if ((ht == null) || (ht == 0)) ht = 0.95
  if ((wd == null) || (wd == 0)) wd = 0.95
  if (mv != false) mv = true
  if (ht < 1) {aHeight = ht * screen.availHeight} else {aHeight = ht}
  if (wd < 1) {aWidth = wd * screen.availWidth} else {aWidth = wd}
  if (mv) {self.moveTo(0,0)}
  self.resizeTo(aWidth,aHeight)
}  

function doSection (secNum,hideIt){
  if (hideIt == null) {hideIt = true}
//display the section if it's not displayed; hide it if it is displayed
  if (hideIt){
    if (DisplaySection != ""){noSection(DisplaySection)}
    if (secNum.style.display == "none"){
      secNum.style.display="";
      DisplaySection = secNum;
    }
	  else{
      secNum.style.display="none"
      DisplaySection = "";
    }
  }
  else {
    secNum.style.display="";
    DisplaySection = secNum;
  }
}

function noSection (secNum){
	//remove the section when user clicks in the opened DIV
	if (secNum.style.display==""){secNum.style.display="none"}
  DisplaySection = "";
}


function WinTitle(){
  var tl = "";
  var c = "";
  var l = document.title.length
  if (l > 10) l = 10;
  for (var i=0; i < l; i++){
    c = document.title.charAt(i).toUpperCase();
    if ((c >= 'A') && (c <= 'Z'))
      tl = tl + c
    else
      tl = tl + 'X';
  }
  if (tl == "") tl = window.name;
  return (tl+WinNr);
  WinNr++;
}

function NewWindow(f,w,h){
  if (w == null) w = 500;
  if (h == null) h = 300;
  if ("#" == f.charAt(0)){
    var c = f.charAt(1);
    if ("_" == c)
      c = "symbols"
    f = '../glossary/'+c+'.htm'+f;
  }
  window.open(f,WinTitle(),"width="+w+",height="+h+",scrollbars,resizable,toolbar=yes");
}

// -->