function change(path,name) {
	header = document.getElementById("mplayer_head");
	header.innerHTML = name;
	try{
		mplayer = document.getElementById("IE_divx");
		mplayer.Open(path);
		return false;
	} catch(e){}
	try{
		mplayer = document.getElementById("MZ_divx");
		mplayer.Open(path);
		return false;
	} catch(e){}
	return true;
}