function hideIEdestroyer_banner(){
  document.getElementById('iedestroyer').style.display='none'
}