// JavaScript function to display flash movie format video on web page

function display_video(the_video_name, the_width, the_height, the_caption){
	// only "flv" (flash video) video format is accepted here.
	// the_video_name - "video_folder/file name" of the video clip file RELATIVE to current page. The extension name of video ".flv" should NOT be included
	// the_width - pixel width of video clip
	// the_height - pixel height of video clip
	if (window.screen){
		var w = parseInt(the_width) + 20;
		var h = parseInt(the_height) + 20;
		var x0 = (screen.availWidth - 10 - w)/2;
		var y0 = (screen.availHeight - 30 - h)/2;
		window.open('../site/_include/_play_video/play_video.html?'+escape(the_video_name)+'&'+the_width+'&'+the_height+'&'+escape(the_caption),'', 'width='+w+', height='+h+', innerWidth='+w+', innerHeight='+h+', screenX='+x0+', screenY='+y0+', left='+x0+', top='+y0);
	}
}