function playFlashVideo(videoFile) {
	/* Call a function registered as playVideo in the SWF named video_player. */
	getFlashMovieObject("video_player").playVideo(videoFile); 
}