highlightbox=document.getElementById('highlights');
var boxHeight = highlightbox.style.height.replace('px','')
var repeatHeight = highlightbox.scrollHeight //get the current height so we know when to wrap
highlightbox.innerHTML = highlightbox.innerHTML + highlightbox.innerHTML+ highlightbox.innerHTML+ highlightbox.innerHTML  //add a second copy so we can scroll down to the wrap point
var stopScroll = 0
var x
function scrollMe() {
	clearTimeout(x)
	if(stopScroll==1) {
		return
	}
	highlightbox.scrollTop=highlightbox.scrollTop+1
	if(highlightbox.scrollTop<=repeatHeight) {
		// keep on scrolin' 
		x = setTimeout("scrollMe()",40)
	}
	else { //we have hit the wrap point
		highlightbox.scrollTop=0
		x = setTimeout("scrollMe()",40)
	}
}
x = setTimeout("scrollMe()",1000)
// start scrolling after one second