// scroller agenda
var dimension = 200
var initial = 60
var top_position = initial
var elementi
var elemento
var permanenza = 5000
function scroll_banner(){
	document.getElementById(elemento).style.top = top_position + "px";
	if (top_position == 0){
		setTimeout('scroll_out();',permanenza);
		}
	if (top_position > 0){
		top_position = top_position - 3;
		setTimeout('scroll_banner();',0);
		}
	}
function scroll_out(){
	document.getElementById(elemento).style.top = top_position + "px";
	if (top_position < -(dimension-50)){
		top_position = initial;
		elemento = elemento + 1
		if (elemento > elementi){
			elemento = 1
			}
		setTimeout('scroll_banner();',0);
		} else {
			top_position = top_position - 3;
			setTimeout('scroll_out();',0);
		}
}