function videochange(v,l,nw) {

// push the button in
var z = document.getElementById("tvbutton"+v);
z.src = "images/tv-"+v+"-on.png";
		
// pop the other buttons out
for (var f=0; f<=4; f++) {
	var z = document.getElementById("tvbutton"+f);
	if (f!=v) {
		z.src = "images/tv-"+f+"-off.png";
	}
}

// change the channel
var so = new SWFObject("video.swf?videoname="+v+"&movieLength="+l+"&notWide="+nw, "magicalvideo", "490px", "400px", "8", "#000000");
so.write("video");


}