function log(message) {
          message_list = document.getElementById("debugging_messages");
          if (message_list != null) {
                  log_message = document.createTextNode(message);
                  log_list_item = document.createElement('li');
                  log_list_item.appendChild(log_message);
                  message_list.appendChild(log_list_item);                
          }
  }
  
  function load_logger(body_id) {
          var logger = document.createElement('div');
          logger.id = "debugging_output";
          
          logger.style.width = "100%";
          logger.style.border = "1px solid black";
          
          var title_message = document.createTextNode("Debugging Output");
          var title = document.createElement('h1');
          title.appendChild(title_message);
          logger.appendChild(title);
          
          var message_list = document.createElement('ol');
          message_list.id = "debugging_messages";
          logger.appendChild(message_list);
  
          var body_node = document.getElementById(body_id);
          body_node.appendChild(logger);                        
  }