function hide(containerID){ document.getElementById('info'+containerID).style.display='none'; }

function stat(containerID,type,num) { document.getElementById('info'+containerID).innerHTML = '— '+num+' '+type+' files'; document.getElementById('info'+containerID).style.display=''; }