// ticker settings

	var tickdelay=6000 //delay btw messages
	var highlightspeed=5 //10 pixels at a time.
	
	var currentmessage=0
	var clipwidth=0
	
	function changetickercontent(){
	crosstick.style.clip="rect(0px 0px auto 0px)"
	crosstick.innerHTML=tickercontents[currentmessage]
	highlightmsg()
	}
	
	function highlightmsg(){
	var msgwidth=crosstick.offsetWidth
	if (clipwidth<msgwidth){
	clipwidth+=highlightspeed
	crosstick.style.clip="rect(0px "+clipwidth+"px auto 0px)"
	beginclip=setTimeout("highlightmsg()",20)
	}
	else{
	clipwidth=0
	clearTimeout(beginclip)
	if (currentmessage==tickercontents.length-1) currentmessage=0
	else currentmessage++
	setTimeout("changetickercontent()",tickdelay)
	}
	}
	
	function start_ticking(){
	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

// endof tickersetting