// JavaScript Document
function switchMovie(movie,autoplay){
	window.document["header"].SetVariable("videofile", movie);
	document.header.SetVariable("videofile", movie);
	window.document["header"].SetVariable("autoplay", autoplay);
	document.header.SetVariable("autoplay", autoplay);

}