var num=images.length;
var cur=0;

function rotate() {
	if(cur==num) { cur=0; }
	//
    document.banner.src=images[cur];
    cur++;
    setTimeout("rotate()", 2500);
}

function rotate_redir() {
	if (image_links[cur-1]) {
		window.open(image_links[cur-1]);
	}
}