//
// rotate images
//

var photos=new Array()
var which=0
var dorotate=1;

//define images.
photos[0]="banner_logo"
photos[1]="banner_contact"

//do NOT edit pass this line

var preloadedimages=new Array()
for (i=0;i<photos.length;i++){
	preloadedimages[i]=new Image()
	preloadedimages[i].src=getphoto(i)
}

function getphoto( index ) {
	return "/img/" + photos[index] + ".gif"
}

function applyeffect(){
	if (document.all){
		photoslider.filters.revealTrans.Transition=Math.floor(Math.random()*23)
		photoslider.filters.revealTrans.stop()
		photoslider.filters.revealTrans.apply()
	}
}

function playeffect(){
	if (document.all)
		photoslider.filters.revealTrans.play()
}

function startrotate() {
	dorotate=1;
}

function stoprotate() {
	dorotate=0;
}

function rotate(){
	if( dorotate ) {
		which++
		if( which == photos.length ) which=0
		applyeffect()
		document.images.photoslider.src=getphoto(which)
		playeffect()
	}
	setTimeout('rotate()', 10000)
}