<!--//

  if (document.getElementById) {
    dom1 = true; }
  else {
    dom1 = false;
  }

//-->