function start_banner_rotation(counter){
	timer = window.setTimeout("rotate_banner(1,"+counter+")", 4000);
}

function rotate_banner(id_num, max){
	 new Effect.Fade('image_'+id_num, { duration: 1.0 });
	if(id_num==max){
		id_num=1;
	}
	else{
		id_num++;
	}
	new Effect.Appear('image_'+id_num, { duration: 1.0 });
	timer = window.setTimeout("rotate_banner("+id_num+","+max+")", 4000);
}