<!-- Begin
// Set slideShowSpeed (milliseconds)
var vis_name1 = "services";
var slideShowSpeed1 = 7000;
// Duration of crossfade (seconds)
var crossFadeDuration1 = 10;
// Specify the image files
var Pic2 = new Array();
// to add more images, just continue
// the pattern, adding to the array below

Pic2[0] = 'images/' + vis_name1 + '/WRES_services3.jpg'
Pic2[1] = 'images/' + vis_name1 + '/WRES_services1.jpg'
Pic2[2] = 'images/' + vis_name1 + '/WRES_services2.jpg'
Pic2[3] = 'images/' + vis_name1 + '/news_laser_1.jpg'

// do not edit anything below this line
var t;
var j = 0;
var p = Pic2.length;
var preLoad2 = new Array();
for (i = 0; i < p; i++) {
preLoad2[i] = new Image();
preLoad2[i].src = Pic2[i];
}
function runSlideShow1() {
if (document.all) {
document.images.SlideShow1.style.filter="blendTrans(duration=2)";
document.images.SlideShow1.style.filter="blendTrans(duration=crossFadeDuration1)";
document.images.SlideShow1.filters.blendTrans.Apply();
}
document.images.SlideShow1.src = preLoad2[j].src;
if (document.all) {
document.images.SlideShow1.filters.blendTrans.Play();
}
j1 = j + 1;
if (j > (p - 1)) j = 0;
t = setTimeout('runSlideShow1()', slideShowSpeed1);
}
//  End -->