var milliseconds = 5000;
var i=1;
var interval;
var old=-1;

// rotate div content
function rotate(spec){
	if (spec != null) {
		i=spec;
		clearTimeout(interval);
	};
	
	if (old != -1) { document.getElementById(old).style.display = 'none'; }
//	else { document.getElementById(1).style.display = 'none'; }
	
	document.getElementById(i).style.display = 'block';
	old=i;
	i++;
	if (i>4) i=1;
	interval = window.setTimeout("rotate()", milliseconds);
};
