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