var s_1 = 1; // this sets speed of animation, higher nunber means higher speed
var shortlistClassname_1 = 'holdListShort'; // this is class of div that will be rolled
var holderId_1 = 'rollerHolderShort'; // this is id of div that hold animation
var maxScreenHeight_1 = 500; // this sets maximal height (in px) of div that hold animation

var ds_1 = s_1;


function runer(){
ds_1=s_1;
}
//don't edit things under this
var c_1 = 0;
var rollerHolder_1 = document.getElementById(holderId_1);
rollerHolder_1.innerHTML = rollerHolder_1.innerHTML + rollerHolder_1.innerHTML;
rollerHolder_1.onmouseover = function(){
ds_1=0;
}
rollerHolder_1.onmouseout = function(){
ds_1=s_1;
}
var lists_1 = rollerHolder_1.getElementsByTagName('div');
for(i_1=0;i_1<lists_1.length;i_1++){
if(lists_1[i_1].className == shortlistClassname_1){
lists_1[i_1].id = 'roller' + c_1 + '_1';
c_1++;
}
}
var roller0_1 = document.getElementById('roller0_1');
var roller1_1 = document.getElementById('roller1_1');
var a_1 = 0;
var b_1 = 0;
roller0_1.style.top = a_1 + 'px';
roller1_1.style.top = roller0_1.offsetHeight + 'px';

var firstTopper_1 = roller0_1.style.top;
firstTopper_1 = firstTopper_1.replace('px','');
firstTopper_1 = eval(firstTopper_1);
var secondTopper_1 = roller1_1.style.top;
secondTopper_1 = secondTopper_1.replace('px','');
secondTopper_1 = eval(secondTopper_1);

if( maxScreenHeight_1 && roller0_1.scrollHeight > maxScreenHeight_1 ){
rollerHolder_1.style.height = maxScreenHeight_1 + 'px';
}
else{
rollerHolder_1.style.height = roller0_1.scrollHeight + 'px';
}

function toto_1(){
roller0_1.style.top = firstTopper_1 + a_1 + 'px';
roller1_1.style.top = secondTopper_1 + b_1 + 'px';
a_1 = a_1 - ds_1;
b_1 = b_1 - ds_1;
setTimeout("toto_1()", 70);
if(a_1 < -secondTopper_1){
a_1 = secondTopper_1;
}
if(b_1 < -2*secondTopper_1){
b_1 = 0;
}
};
toto_1();