function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}

function cacheFlash()
  {
  document.getElementById("flash").style.visibility="hidden";
  document.getElementById("flash").innerHTML = "";
  
  document.getElementById("MiniPub").style.visibility="visible";
  
  }

function redirection(page)
  {
  window.location=page;
  }