var flashMovie;

function init() {
  if (document.getElementById) {
    flashMovie = document.getElementById("header");
  }
}

window.onload = init;

function updateVar(str) {
  if (flashMovie) {
    flashMovie.updateVar(str);
  }
}