<!--
function changeChannel(channel){
if(document.getElementById){
document.getElementById("tv_screen").src=channel;
}
-->