/*

image.js

written 05/01/08 by William Sappington CPS Consulting, bill@cpscinc.com 510-502-6413

This simple bit of javasript sets up rotating images as the background for a DIV through CSS,
or any elecment that can have a background image via CSS.


*/

var DelayTime = 2500 ;
var Start = 0 ;
var Stop = 4 ;

function ChangeImg(ImageNum){
var MyDiv = document.getElementById('y');
MyDiv.style.backgroundImage = "url('/images/mainpage/mainpage-"+ImageNum+".jpg')" ;
if(ImageNum < Stop){
 ImageNum++ ;
}
else
{
ImageNum = Start ;
}
//alert(ImageNum);
window.setTimeout("ChangeImg('"+ImageNum+"')",DelayTime);
}