function div_loading_rss(id)
{
	document.getElementById(id).innerHTML = "<center><br>Wird aktualisiert....<br>&nbsp;</center>";
}

function tvpopup(url)
{
	tv_popup = window.open(url,"tv_popup","menubar=no,locationbar=no,personalbar=no,scrollbars=yes,resizable=no,status=no,width=430,height=420,dependent=yes");
	tv_popup.focus();
}