var ScrollTimer;
var pane;
function ScrollUp(vari) {pane = vari;ScrollTimer = setInterval("document.getElementById(pane).scrollTop -= 2", 15);}
function ScrollDown(vari) {pane = vari;ScrollTimer = setInterval("document.getElementById(pane).scrollTop += 2", 15);}