function ScrollElementIntoView(ElementName) {
  var Elem = document.getElementById(ElementName);
  if (Elem) {
    Elem.scrollIntoView();
  }
}