var toggler = 0;
  
  function toggle(){
  if(document.getElementById("right").scrollTop > 0){
	toggler= 1;
	}
	else{
	toggler = 0;
	}
		if(toggler == 0){
			scroll_down('right');
			toggler = 1;
		}
		else{
			scroll_up('right');
			toggler = 0;
		}
}

  function scroll_down(name){
  var scrolldelay = 0.1;
  var i = 0;
	start_stop = true;
	while(i <= 60){
		document.getElementById(name).scrollTop += scrolldelay;
		scrolldelay+=0.1;
		i++;
	}
	while(i <= 120){
		document.getElementById(name).scrollTop += scrolldelay;
		scrolldelay-=0.1;
		i++;
	}
  }
  
  function scroll_up(name){
  var scrolldelay = 0.1;
  var i = 0;
	start_stop = true;
	while(i <= 60){
		document.getElementById(name).scrollTop -= scrolldelay;
		scrolldelay+=0.1;
		i++;
	}
	while(i <= 120){
		document.getElementById(name).scrollTop -= scrolldelay;
		scrolldelay-=0.1;
		i++;
	}
  }