function run_movie(arg) {
  document.write(arg);
}
