/*
======================================
  This script is used to support the  
W3C DOM getElementById method in early
   versions of CSS capable browsers.  
======================================
*/
if (!document.getElementById) {
  if (document.all) {
    document.getElementById = function() {
      if(typeof document.all[arguments[0]] != "undefined") {
        return document.all[arguments[0]];
      }
      else {
        return null;
      }
    }
  }
  else if (document.layers) {
    document.getElementById = function() {
      if (typeof document[arguments[0]] != "undefined") {
        return document[arguments[0]];
      }
      else {
        return null;
      }
    }
  }
}