<!--
// convert all characters to lowercase to simplify testing 
var agt=navigator.userAgent.toLowerCase();
var app=navigator.appName.toLowerCase();

// Set global browser stuff variables.
var is_major = parseInt(navigator.appVersion);
var is_nav  = (agt.indexOf('mozilla') != -1);
var is_ie   = (agt.indexOf("msie") != -1);
var is_ie4up  = (is_ie  && (is_major >= 4));
var is_nav4up = (is_nav && (is_major >= 4));

// Set global browser specific styles.
if (is_ie && is_ie4up) {
  document.write("<link rel='stylesheet' type='text/css' href='directory_msie.css'>");
}
else {
  if (is_nav && is_nav4up) {
    document.write('<link rel="stylesheet" type="text/css" href="directory_netscape.css">');
  }
  else {
    document.write("<link rel='stylesheet' type='text/css' href='directory_msie.css'>");
  }
}

function SearchBox() {
  if ((app.indexOf('netscape') != -1)) {
    document.write('<input type=text name=qt size=7 value="" maxlength=2047>')
  }
  else {
    document.write('<input type=text name=qt size=11 value="" maxlength=2047>')
  }
  document.seek1.qt.focus();
}

function closeWindow() {
    window.close();
}

//-->

