// scrollpic.js
// It scrolls pictures automatically!
//
var width = 520, height=386;
var scrollingImages = null;
function scrollPic(start, end, cur) {
	if(!cur) cur = 1;
	var img = document.getElementById("scrollingPic");
	if(!img) return;

	// Preload all images
	if(!scrollingImages) {
		scrollingImages = new Array();
		var scrollImg;
		for(var i=start; i<=end; i++) {
			scrollImg = new Image(width, height);
			scrollImg.src = "scrolling/" + i + ".jpg";
			scrollingImages.push(scrollImg);
		}
	}

	// Start the effect
	if(img.filters) {
		if(!img.style.filter)
			img.style.filter = "revealTrans(Duration=1.0, Transition=12)";
    img.filters(0).apply();
    img.filters(0).play();
	}
	
	// Change the pic
	img.src = "img/scrolling/" + cur + ".jpg";
	
	// Increment the pic
	if(++cur > end) cur = start;
	setTimeout("scrollPic(" + start + ", " + end + ", " + cur + ")", 5000);
}