var boxHeight = $('highlights').style.height.replace('px','')
var repeatHeight = $('highlights').scrollHeight //get the current height so we know when to wrap
$('highlights').innerHTML = $('highlights').innerHTML + $('highlights').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
	}
	$('highlights').scrollTop=$('highlights').scrollTop+1
	if($('highlights').scrollTop<=repeatHeight) {
		// keep on scrolin' 
		x = setTimeout("scrollMe()",80)
	}
	else { //we have hit the wrap point
		$('highlights').scrollTop=0
		x = setTimeout("scrollMe()",80)
	}
}
x = setTimeout("scrollMe()",3000)
// start scrolling after one second