/*
	视频
*/

function ChangeVideo (video)
{
	// for Windows Media Player only
	var thePlayer = document.getElementById ("theMediaPlayer");
	thePlayer.URL = video;
	thePlayer.controls.play ();
}