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);			
}