<!--

function InsertMovie(movie,width,height) {

  document.write('<embed src="/research/projects/worldwind/vids/' + movie + '.mov" width="' + width + '" height="' + height + '"></embed>');

}

//-->