function activateFlashFile(DivID,txt){
  var d = document.getElementById(DivID);
  d.innerHTML = txt;
}