// JavaScript Document
function scrollThis(){
	var elem = document.getElementById('text');
	elem.scrollTop += 2;
	var repeat = setTimeout("scrollThis()",250); 
}

function scrollSearch(){
	var elem = document.getElementById('searchResults');
	elem.scrollTop += 2;
	var repeat = setTimeout("scrollSearch()",250); 
}