
<!-- comment out the script to hide it from older browsers

ANIM_DELAY = 1000

var playing = 0
var noOfImages = 0

var t = 0

function setNoOfImages(number){
	noOfImages = number
}

function changePict(step){	// Receives +1 for the next one, -1 for the previous one; Receives the number of images
	imgHolderObj = document.getElementById('imgHldr')
	imgName = imgHolderObj.src
	imgNameLen = imgName.length
	imgNoStr = imgName.substr(imgNameLen - 6,2)
	imgNo = parseInt(imgNoStr,10)
	if (step == -1 & imgNo == 1) return
	if (step == 1 & imgNo == noOfImages) {
		if (playing) {
			imgNo = 0
		} else {
			return
		}
	}
	imgNo = imgNo + step
	imgNoStr = '0' + imgNo
	imgNoStr = imgNoStr.substring(imgNoStr.length -2)
	imgName = imgName.substr(0,imgNameLen - 6) + imgNoStr + imgName.substring(imgNameLen - 4)
	imgHolderObj.src = imgName
	imgName = imgName.replace('small','full')
	document.getElementById('enlargeLink').href = imgName	
	if (playing) t = setTimeout('changePict(1)',ANIM_DELAY)
}


function startAnim(){
	playing = 1
	t = setTimeout('changePict(1)',ANIM_DELAY)
}

function stopAnim(){
	playing = 0
	clearTimeout(t)
}

//	-->