// JavaScript Document
function write_flash( text ) {
   document.write(text);
 }
 function test(vare)
 {
	alert("test "+vare); 
 }
 
 
 function changePlayer(player)
 {
	 if(player=='wmv')
	{
		document.getElementById('playerID').write("<? include('tv.php?media=wmv'); ?>")
	}
	else
	{
		document.getElementById('playerID').write("<? include('tv.php?media=flv'); ?>")
	}
 }