// JavaScript Document
function ticker_refresh() {
	var ticker = document.getElementById('ticker');
	//alert(ticker.innerHTML);
	var text = ticker.innerHTML;
	text_neu = text.substring(1,text.length)+text.substring(0,1);
	ticker.innerHTML = text_neu;
}