<!-- hide script from old browsers

// Set slideShowSpeed (milliseconds)
var slideShowSpeed = 3700;
// Duration of crossfade (seconds)
var crossFadeDuration = 2;
// Specify the image files
var Pic = new Array();
// to add more images, just continue
// the pattern, adding to the array below

Pic[0] = 'images/proc_07_1.jpg'
Pic[1] = 'images/proc_07_2.jpg'
Pic[2] = 'images/proc_07_3.jpg'
Pic[3] = 'images/proc_07_4.jpg'
Pic[4] = 'images/proc_07_5.jpg'
Pic[5] = 'images/proc_07_6.jpg'
Pic[6] = 'images/proc_07_7.jpg'
Pic[7] = 'images/proc_07_8.jpg'
Pic[8] = 'images/proc_07_9.jpg'

// do not edit anything below this line
var t;
var y = 0;
var p = Pic.length;
var preLoad = new Array();
for (i = 0; i < p; i++) {
preLoad[i] = new Image();
preLoad[i].src = Pic[i];
}

addLoadEvent(runSlideShow);

// end hiding script from old browsers -->