<!--
//declare globals to build object reference
var isNav4, isNav6, isIE
var isBrand = navigator.appName
var agt = navigator.userAgent.toLowerCase()
var navVer = parseInt(navigator.appVersion)

isNav4 = (isBrand == "Netscape" && navVer < 5)?true:false;
isNav6 = (isBrand == "Netscape" && navVer >= 5)?true:false;
isIE = ((agt.indexOf("msie") != -1) && (parseInt(navVer) >= 4))?true:false;

function divScroll(windowDiv,scrollingDiv,direction,speed,interval,tmr){
	theWindow = (document.getElementById) ? document.getElementById(windowDiv) : MM_findObj(windowDiv);
	theScroller = (document.getElementById) ? document.getElementById(scrollingDiv) : MM_findObj(scrollingDiv);
	theSpeed = speed;
	theTimer = tmr;
	theSpeed=(isNav6||isNav4)?speed:parseInt(speed/3);//IE va piu' veloce di NS
	
	if(isNav4){
		 winH=".clip.height";
		 scrollH=".document.height";
		 scrollTop=".top";
	} else {
		 winH=".style.height";
		 scrollH=".offsetHeight";
		 scrollTop=".style.top";
	}

	offSet = (parseInt(eval("theScroller"+scrollH)) - parseInt(eval("theWindow"+winH)));
 	if (direction=="up") eval(tmr+'=setInterval("scrollUp(theScroller,theSpeed)",interval)');
 	if (direction=="down") eval(tmr+'=setInterval("scrollDown(theScroller,theSpeed)",interval)');
}


function scrollDown (theDiv,speed){
	if(isNav4) scrollTop=".top";
	if(isNav6 || isIE) scrollTop=".style.top";
		if (parseInt(eval("theDiv"+scrollTop)) > -offSet){
			if(isNav4){ theDiv.top -= speed}
				else {
					newTop = (parseInt(theDiv.style.top) - speed)+"px";
					theDiv.style.top=newTop;
				}
		}
}

function scrollUp (theDiv,speed){
	if(isNav4) scrollTop=".top";
	if(isNav6 || isIE) scrollTop=".style.top";
		if (parseInt(eval("theDiv"+scrollTop)) < 6){
			if(isNav4){ theDiv.top += speed}
				else {
					newTop = (parseInt(theDiv.style.top) + speed)+"px";
					theDiv.style.top=newTop;
				}
		}
}
//-->