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