interval = 10000;	/* miliseconds */
rotator = 1;
baseurl = "/obrazky/design2/mnk-banner-";

function rotate(count) {
	if (rotator == count) { rotator=1; }
	document.images["banner"].src = baseurl + rotator + ".png";
	rotator = rotator + 1;
	window.setTimeout('rotate(' + count + ');', interval);
}