window.Opera = window.navigator.userAgent.indexOf("Opera") >= 0;
window.IE = window.navigator.userAgent.indexOf("IE") >= 0 && !window.Opera;

// Ticker:
var tickerTop = 0, tickerHeight = 0, tickerItemHeight = 300, tickerStopped = false;
var ticker = new Array();
function scrollDo(){
	if(!tickerStopped)tickerTop--;
	if(tickerTop < -tickerItemHeight)tickerTop = 0;
	if(ticker[0].offsetTop != tickerTop){
		for(var i = 0; i < ticker.length; i++){
			var t = Math.min(tickerHeight, tickerTop + i * tickerItemHeight);
			ticker[i].style.top = t + "px";
			ticker[i].style.height = Math.max(0, tickerHeight - t) + "px";
		}
	}
}
function scrollResize(){
	var p = ticker[0].parentNode;	// tickerc
	var o = p.parentNode;			// td
	var h = Math.max(document.getElementById("leftcell").offsetHeight, document.getElementById("leftcell").offsetHeight) - 20;
	if(o.offsetHeight > 100) h = Math.min(h, o.offsetHeight - 20);
	p.style.height = h + "px";
	tickerHeight = p.offsetHeight;
	tickerTop = Math.min(tickerTop, tickerHeight - 1);
	var n = 2 + Math.floor(tickerHeight / tickerItemHeight);
	if(n != ticker.length){
		for(var i = n; i < ticker.length; i++){
			ticker[0].parentNode.removeChild(ticker[i]);
		}
		var array = new Array();
		for(var i = 0; i < Math.min(n, ticker.length); i++) array[i] = ticker[i];
		ticker = array;
		for(var i = ticker.length; i < n; i++){
			ticker[i] = ticker[0].cloneNode(true);
			ticker[0].parentNode.appendChild(ticker[i]);
		}
	}
	for(var i = 0; i < n; i++){
		ticker[i].onmouseover = scrollCont;
		ticker[i].onmouseout = scrollCont;
	}
}
function scrollStop(){
	tickerStopped = true;
}
function scrollCont(){
	tickerStopped = false;
}
function scrollStart1(){
	ticker[0] = document.getElementById("ticker");
	if(ticker[0] == null || typeof(ticker[0]) == "undefined"){
		window.setTimeout("scrollStart1()", 25);
	}
	else{
		tickerItemHeight = ticker[0].offsetHeight;
		ticker[0].style.overflow = "hidden";
		ticker[0].onmouseover = scrollStop;
		ticker[0].onmouseout = scrollCont;
		scrollResize();
		window.onresize = scrollResize;
		if(window.IE) document.onstop = scrollStop;
		window.setInterval(scrollDo, 25);
	}
}
function scrollStart(){
	if(document.getElementById){
		if(window.IE){
			if(document.readyState == "complete") scrollStart1();
			else document.onreadystatechange = function() {
				if(document.readyState == "complete") scrollStart1();
			}
		}
		else window.setTimeout("scrollStart1()", 1);
	}
}