////Do not edit pass this line////////////////

document.write('<style>#highlighterbg a{color:'+backdroptextcolor+'}</style>')
document.write('<div style="position:relative;left:10px;top:30px; width:'+tickerwidth+'; height:'+tickerheight+';'+fontcss+'">')
document.write('<span id="highlighterbg" style="position:absolute;left:10;top:30;color:'+backdroptextcolor+'; width:'+tickerwidth+'; height:'+tickerheight+';padding: 4px"></span><span id="highlighter" style="position:absolute;left:10;top:30;clip:rect(auto auto auto 0px); background-color:'+highlightcolor+'; width:'+tickerwidth+';height:'+tickerheight+';padding: 4px"></span>')
document.write('</div>')

var currentmessage=0
var clipbottom=1

function changetickercontent(){
	msgheight=clipbottom=crosstick.offsetHeight
	crosstick.style.clip="rect("+msgheight+"px auto auto 0px)"
	crosstickbg.innerHTML=tickercontents[currentmessage]
	crosstick.innerHTML=tickercontents[currentmessage]
	highlightmsg()
}

function highlightmsg(){
	//var msgheight=crosstick.offsetHeight
	if (clipbottom>0){
	clipbottom-=highlightspeed
	crosstick.style.clip="rect("+clipbottom+"px auto auto 0px)"
	beginclip=setTimeout("highlightmsg()",20)
	}
	else{
	clipbottom=msgheight
	clearTimeout(beginclip)
	if (currentmessage==tickercontents.length-1) currentmessage=0
	else currentmessage++
	setTimeout("changetickercontent()",tickdelay)
	}
}

function start_ticking(){
	crosstickbg=document.getElementById? document.getElementById("highlighterbg") : document.all.highlighterbg
	crosstick=document.getElementById? document.getElementById("highlighter") : document.all.highlighter
	crosstickParent=crosstick.parentNode? crosstick.parentNode : crosstick.parentElement
	if (parseInt(crosstick.offsetHeight)>0)
	crosstickParent.style.height=crosstick.offsetHeight+'px'
	else
	setTimeout("crosstickParent.style.height=crosstick.offsetHeight+'px'",100) //delay for Mozilla's sake
	changetickercontent()
}

if (document.all || document.getElementById)
	window.onload=start_ticking