                                       
<!--          

rotator=true; 	// needed for initialising the rotator
n=0;			// initialising the first image 
// The images, add and delete yours here...
theImages="img/map1.gif, img/map2.gif, img/map0.gif, img/map3.gif".split(", ");
allImages=theImages.length;
// Creating the needed image objects => preloading
imgObjects=new Array();
for (i in theImages){
	imgObjects[i]=new Image();
	imgObjects[i].src=theImages[i];
	}
function autoplay(run,srcimage,direction,speed){
	// delete old settings
	clearInterval(rotator)
	if (run != 0){rotator=setInterval("rotate('"+srcimage+"',"+direction+")",speed)}
	else{clearInterval(rotator)}
	}
function rotate(srcimage,direction){
n=n+direction;
if (n==allImages) n=0;
if (n==-1) n=allImages-1;
document.images[srcimage].src=imgObjects[n].src;
}

                   
                             
function openWin(url, name) {                             
var win = window.open(url, name);                             
}                             
                             
function openWin2(url, name) {                             
var win = window.open(url, name,'menubar=no,toolbar=no,location=no,directories=no,left=1,top=1,status=no,scrollbars=no,resizable=yes,width=300,height=300');                             
}                             
                             
               

function checkParent() {
if (parent != self)
top.location.href = self.location.href
}
                      
//-->