/* $Revision: 9891 $ $Date: 2009-11-20 14:37:25 +0100 (vr, 20 nov 2009) $ */
// Every 3 seconds the panels are switching
try
{
	if (!eventPanelIntervalStarted)
	{
		window.setInterval(switchEventPanel, 3000);
	}
}catch(e){}

function switchEventPanel() {
	var newIndex = -1, count = 0, temp = selectedPanelIndex;
	while (count <= eventPanels.length) {
		temp++;
		if (temp >= eventPanels.length) {
			temp = 0;
		}
		if (eventPanels[temp].show) {
			newIndex = temp;
			break;
		}
		count++;
	}
	if (newIndex != -1) {
		var oldPanel = document
				.getElementById(eventPanels[selectedPanelIndex].panelId);
		var newPanel = document.getElementById(eventPanels[newIndex].panelId);
		oldPanel.style.display = "none";
		newPanel.style.display = "";
		selectedPanelIndex = newIndex;
	}
}
function setShowPanel(index, show) {
	if (index >= 0 && index < eventPanels.length) {
		eventPanels[index].show = show;
	}
}