<!--
function checkPlugin(plugin, theURL, altURL, IEGoesToURL) {
  if ((navigator.plugins && navigator.plugins[plugin]) ||
      (IEGoesToURL &&
       navigator.appName.indexOf('Microsoft') != -1 &&
       navigator.appVersion.indexOf('Mac') == -1 &&
       navigator.appVersion.indexOf('3.1') == -1)) {
    if (theURL.length>2) window.location = theURL;
  } else {
    if (altURL.length>2) window.location = altURL;
  }
  document.returnValue = false;
}
//-->