//Preload animation images
theImages = new Array()
timing = new Array()
var last = 21
function preload() {
for(i = 0; i < last+1; i++) {
timing[i] = 1
i3dign = i+100
i3dig = i3dign.toString()
i2dig = i3dig.substring(1,3)
theImages[i] = new Image()
theImages[i].src = "HOME/int/K2/K2_" + i2dig + ".jpg"
//document.write(theImages[i].src + '<br>')
}
}

//animation
delay = 50
timing[0] = 5
var j = 0
function animate() {
//document.animation1.src = 'HOME/int/K1/K1_1.jpg'
document.animation2.src = theImages[j].src
t = delay*timing[j]
setTimeout("animate()",t)
if(j < last)
j++
else
j = 1
}
//

//
function slower() {
delay+=150
if(delay > 5000) {
delay = 5000
}
}
//
function faster() {
delay-=50
if(delay < 0) {
delay = 0
}
}

//launch functions
//preload()
//animate()
//below introduces a delay before launching the animation
//The time value is measured in milliseconds. 
//A value of 1000 is one second. A value of 50 would be 1/20th of a second
var preload_delay = 0 //15000
var launch_delay = 10000//30000
setTimeout("preload()", preload_delay); 
setTimeout("animate()",launch_delay);