/* scroller scripts */

var speed=40
var timer,loop

function makeDemo(obj, height){
	
   
   
    this.scrollHeight=document.getElementById(obj).offsetHeight
     
    //if(obj = 'TextDiv')
    //{
		//this.scrollHeight = 1000;
    //}
	//alert(this.scrollHeight);
	
	this.css=document.getElementById(obj).style
    this.up=MoveAreaUp;
	this.down=MoveAreaDown;
    this.MoveArea=MoveArea;
	this.x; 
	this.y;
	this.height = height;
    this.obj = obj + "Object";
    eval(this.obj + "=this")
    return this
}
function MoveArea(x,y){
    demoText.css.left=(x+'px');
	demoText.x=x;
	
	demoBar.css.top =((9-y*demoBar.height/(demoText.scrollHeight-demoArea.scrollHeight))+"px") //9=bar initial y, 110=bar length
	demoText.css.top=(y+'px');
	demoText.y=y;
	
}


function MoveAreaDown(move){
	if(this.y>-this.scrollHeight+demoArea.scrollHeight){
	
    this.MoveArea(0,this.y-move)
	if(loop)
	 {setTimeout(this.obj+".down("+move+")",speed)}
	}
}
function MoveAreaUp(move){
	if(this.y<0){
    this.MoveArea(0,this.y-move)
    if(loop)
	 {setTimeout(this.obj+".up("+move+")",speed)}
	}
}

function DoScroll(getMove){
	if(initDone){
	loop=true;
	if(getMove>0) demoText.down(getMove)
	else demoText.up(getMove)
	}
}

function StopScroll(){
    loop=false
	if(timer) clearTimeout(timer)
}

var initDone;
function initScroller(height){
	
  
    demoArea=new makeDemo('Gleft', height)
    demoText=new makeDemo('TextDiv', height)
    demoBar=new makeDemo ('Gbar', height)
	demoText.MoveArea(0,0)
	initDone=true;
	
	 
}

function initScroller_fun(){
    demoArea=new makeDemo('Gleft_fun')
    demoText=new makeDemo('TextDiv')
	demoBar=new makeDemo ('Gbar')
	demoText.MoveArea(0,0)
    initDone=true;
}

function initScroller_diskim() {
	var objSource	= document.getElementById("description");
	var objDest		= document.getElementById("Gleft");
	var objScroll	= document.getElementById("scroll");
	var objScrollArrowDown = document.getElementById("scrollArrowDown");
	objScroll.style.height = objSource.offsetHeight - 1 + "px";
	objDest.style.height = objSource.offsetHeight - 24 + "px";
	objScrollArrowDown.style.top = objSource.offsetHeight - 9 + "px";
	initScroller(objSource.offsetHeight - 29);
}
/* scroller scripts end */