function set_player(flv,id) {
	var o=document.getElementById("div_cont_video"+id);
  if (o==null) return;
	o.innerHTML=flv;
}
function startvideos() {
	for (flv in flvs)
		set_player(flvs[flv][1],flv);
}