// JavaScript
// Copyright (c) 2002 Donald Lessau <donald@xbeat.net>
// All rights reserved.
// 20081106: #D3D0B9 -> #E1DFCF

function nav(that, over) {
  if (over==1) {that.style.background='#99BBD3'} else {that.style.background='transparent'};
  }
function navat(that, over) {
  if (over==1) {that.style.background='#89AAC2'} else {that.style.background='#89AAC2'};
  }
function jump(URL) {
  window.location.href=URL;
  }

// 20101012: detect IE6
function getInternetExplorerVersion() {
// Returns the version of Internet Explorer or a -1 (indicating the use of another browser).
  var rv = -1; // Return value assumes failure.
  if (navigator.appName == 'Microsoft Internet Explorer')
  {
    var ua = navigator.userAgent;
    var re  = new RegExp("MSIE ([0-9]{1,}[\.0-9]{0,})");
    if (re.exec(ua) != null)
      rv = parseFloat( RegExp.$1 );
  }
  return rv;
}
function IsIE6orLess() {
  var ver = getInternetExplorerVersion();
  if ( ver > -1 ) {
    if ( ver < 7.0 ) 
      return true;
  }
}