// <![CDATA[
// get Flash movie object
  var flashMovie;
  function init() {
    if(document.getElementById){
      flashMovieInt = document.getElementById("revFlash_R1");
    } 
  }
  window.onload = init;
  
  function playFlash() {
    if(flashMovieInt) {
      flashMovieInt.playFlash();
    }
  }
// ]]>