rotator = '';
c = 0;
q = 0;
at = 0;

function rotate() {
	clearTimeout(rotator);
	document.getElementById('marquee').innerHTML = infotext[q][0];
	(infotext[q][1]) ? (at=infotext[q][1]) : (infotext[q][0].length*pause < min_pause) ? (at=min_pause) : (at=infotext[q][0].length*pause);
	rotator = setTimeout('rotate()', at);
	(q+1 >= infotext.length) ? q=0 : q++;
}

function bookmarksite (title, url) {
	if (document.all)
		window.external.AddFavorite(url, title);
	else if (window.sidebar)
		window.sidebar.addPanel(title, url, "")
}