function toggle(id){
  var element = document.getElementById(id);
  if(element.style.display!='none'){
    element.style.display = 'none';
  }
  else{
    element.style.display = 'block';
  }
}

function checkEnter(e){
  var keynum;
  if(window.event){
    keynum = e.keyCode;
  }
  else if(e.which){
    keynum = e.which;
  }
  if(keynum==13){
    findDownloads();
    return false;
  }
  return true;
}