function add_player(width, height, url) {
		document.write('<object id="VIDEO"'); 
		document.write('			width="' + width +  '"');  
		document.write('			height="' + height +  '"');  
		document.write('			CLASSID="CLSID:6BF52A52-394A-11d3-B153-00C04F79FAA6"'); 								   		
		document.write('					type="application/x-oleobject">'); 
		document.write('	<param name="URL" value="' + url + '">'); 
		document.write('	<PARAM NAME="SendPlayStateChangeEvents" VALUE="True">'); 
		document.write('	<PARAM NAME="AutoStart" VALUE="True">'); 			
		document.write('	<PARAM name="PlayCount" value="9999">'); 
		document.write('	<param name="ShowStatusBar" value="False">'); 			

		document.write('<!-- BEGIN PLUG-IN HTML FOR FIREFOX-->'); 
		document.write('	<embed type="application/x-mplayer2" pluginspage="http://www.microsoft.com/Windows/MediaPlayer/" src="' + url + '"'); 
		document.write('			align="middle" width="' + width +  '" height="' + height +  '" defaultframe="rightFrame" showstatusbar="true"></embed>'); 
		document.write('	<!-- END PLUG-IN HTML FOR FIREFOX-->'); 
		document.write('	</object><!-- END GENERIC ALL BROWSER FRIENDLY HTML FOR WINDOWS MEDIA PLAYER -->');
}