function header_banner_mv() {
      var filled_element_id = 'header-banner';
      var source_element_id = 'footer-header-banner';

      var filled_element = document.getElementById(filled_element_id);
      var source_element = document.getElementById(source_element_id);
      if (filled_element != null && source_element !== null) {
         filled_element.innerHTML = source_element.innerHTML;
	 source_element.innerHTML = '';
      }
   }