var navAppName = "" + navigator.appName;
var navAppVersion = "" + navigator.appVersion;
var navAppCodeName = "" + navigator.appCodeName;
var navUserAgent = "" + navigator.userAgent;
var navPlatform = "" + navigator.platform;
var navLanguage = "" + navigator.language;


  // Function to create arrays for date handling
function initArray() {
  this.length = initArray.arguments.length;
  for (var i = 0; i < this.length; i++)
    this[i+1] = initArray.arguments[i];
}

  // Set up date arrays
var DOWArray = new initArray("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");
var CARDArray = new initArray("st","nd","rd","th","th","th","th","th","th","th",
                              "th","th","th","th","th","th","th","th","th","th",
                              "st","nd","rd","th","th","th","th","th","th","th",
                              "st");
var MOYArray = new initArray("January","February","March","April","May","June","July","August","September", "October","November","December");

  // Show current date
function printDate(dt,nav_type) {
  //var now = new Date();
  document.write(DOWArray[(dt.getDay()+1)], " ");
  document.write(dt.getDate());
  document.write(CARDArray[(dt.getDate())]," ");
  document.write(MOYArray[(dt.getMonth()+1)]," ");
  if (nav_type == "Netscape")
    document.write(dt.getYear()+1900);
  else
    document.write(dt.getYear());

  return;
}


function mouseMove(which)
{
  var e;
  var colour = ((which == "over") ? "yellow" : "");

  e = window.event.srcElement;

  while (e.tagName != "TD" && e.tagName != "TABLE")
    e = e.parentElement;

  if (e.tagName == "TD")
    e.style.backgroundColor = colour;
}
function openURL(url, target) {

    if (target=="WINDOW") {
      window.defaultStatus = "???"
      top.navigate(url);
    } else if (target=="DFRAME") {
      var dFrame = window.parent.frames.DFRAME;
      if (dFrame==null){
        alert("VIEW.MENU.openURL(). DFRAME is null. URL=" + url);
      } else {
        dFrame.navigate(url);
      }
    }
}

function get_ag() {
  return "@";
}
function get_dot() {
  return ".";
}
function get_fap() { // Fear An Phoist
  return "mailto";
}