function showStats() {
	if (!document.getElementById) return;
	var div = document.getElementById('statistics');
	if (!div) return;
	var unorderedList = document.createElement('ul');
	for (var i=0; i<stats_arr.length; i++) {
		var newListItem = document.createElement('li');
		var newTextNode = document.createTextNode(stats_arr[i]);
		newListItem.appendChild(newTextNode);
		unorderedList.appendChild(newListItem);
	}
	
	div.appendChild(unorderedList);
}