function showdownloadinfo() {
   document.getElementsByName("downloadinfo")[0].style.display="block";
}

function closedownloadinfo() {
   document.getElementsByName("downloadinfo")[0].style.display="none"; 
}