// JavaScript Document
function write_flash( text ) {
   document.write(text);
 }



function write_channel(text)
 {
	document.getElementById("channel1").innerHTML = text;
 }
 
function write_playlist(text)
 {
	document.getElementById("playlist1").innerHTML = text;
 }

function write_player(text)
 {
	document.getElementById("flashtv").innerHTML = text;
 }
 
 function write_videoclip(text)
 {
	document.getElementById("video1").innerHTML = text;
 }
 
  function write_miniwmtv(text)
 {
	document.getElementById("miniwmtv").innerHTML = text;
 }