function getFlashMovieObject(movieName) {
	if (window.document.movieName) {
		return window.document.movieName;
	} else if (document.embeds && document.embeds[movieName]) {
		return document.embeds[movieName];
	} else {
		return document.getElementById(movieName);
	}
}

function play_movie(which_movie) {
	var flashMovie=getFlashMovieObject(which_movie);
	flashMovie.Play();
}