// --------------------------------------------------------
// Javascript to change background color of page
// Different color for last digit of minute 0 - 9
// Uses 1 pixel gif file for each color
// PJ - June 2003

{
//  Variables for date/time display
var thedate="";
var thetime="";
var currmin="";
var theminutes="";

thedate = new Date();
thetime = thedate.getMinutes();
theminutes =  ((thetime < 10) ? ':0' : ':') + thetime;
currmin = thetime;
if (thetime >= 10) 
   currmin = (theminutes.substr(2,1));
}

{
var bkgImage = new Array(); 

// bkgImage[n] = "" -- will set page to have background color.

bkgImage[0] = "images/color_33ccff.gif";      //  sky blue
bkgImage[1] = "images/color_33ff99.gif";      //  turquoise
bkgImage[2] = "images/color_66ccff.gif";      //  light grey
bkgImage[3] = "images/color_cc6699.gif";      //  pale burgandy
bkgImage[4] = "images/color_0033ff.gif";      //  blue
bkgImage[5] = "images/color_cc9966.gif";      //  light tan
bkgImage[6] = "images/color_ccff99.gif";      //  pale light green
bkgImage[7] = "images/color_ffcccc.gif";      //  flesh
bkgImage[8] = "images/color_ffff00.gif";      //  yellow
bkgImage[9] = "images/color_ffffff.gif";      //  white

function changeBGImage(whichImage){
if (document.body){
document.body.background = bkgImage[whichImage];
		}
	}
}

//  -------- End of script -----------