function doNothing(){}
								
								var intId = null;
								
								function scrollDown(eId){
									e = document.getElementById(eId);
									e.scrollTop += 4;
									if(e.scrollTop > e.offsetHeight) {
										e.scrollTop = e.offsetHeight;
									}
									clearTimeout(intId);
									intId = setTimeout("scrollDown('" + eId + "')" , 40);
								}
								
								function scrollUp(eId){
									e = document.getElementById(eId);
									e.scrollTop -= 4;
									if(e.scrollTop < 0) {
										e.scrollTop = 0;
									}
									clearTimeout(intId);
									intId = setTimeout("scrollUp('" + eId + "')" , 40);
								}
