/*var show_swf = true;
function swf_s(f){
  show_swf = f;
  if (document.layers){ // if using netscape
    //document.layers['menuex'].visibility = f?"show":"hide";
    document.layers['menuex'].display = f?"block":"none";	
  }
  else if (document.all){ // if using ie
    //document.all['menuex'].style.visibility = f?"visible":"hidden";
    document.all['menuex'].style.display = f?"block":"none";	
  }
  else if (document.getElementById){ // if using netscape6
  	//document.getElementById('menuex').style.visibility = f?"visible":"hidden";
  	document.getElementById('menuex').style.display = f?"block":"none";	
  }
}*/

var show_swf = true;
function swf_s(f){
  show_swf = f;
  if (document.all){ // if using ie
    document.all['centerflash'].style.display = f?"block":"none";	
  }
  
  // Safari menu looks bad over flash
  else if (navigator.userAgent.search("Safari") != -1) {
  	document.getElementById('centerflash').style.display = f?"block":"none";
  }
	
  /*else if (document.getElementById){ // if using netscape6
  	document.getElementById('centerflash').style.display = f?"block":"none";
  }*/
}