var GetElementSupported = !! document.getElementById;
function GetElement(id)
  {
    if (document.getElementById)
      return document.getElementById(id);
  }