// Date---------------------------------------------------------------------------------------------------------------------------------
function theDate() { 
var months=new Array(13);
months[1]="JANUARY";
months[2]="FEBRUARY";
months[3]="MARCH";
months[4]="APRIL";
months[5]="MAY";
months[6]="JUNE";
months[7]="JULY";
months[8]="AUGUST";
months[9]="SEPTEMBER";
months[10]="OCTOBER";
months[11]="NOVEMBER";
months[12]="DECEMBER";
var time=new Date();
var lmonth=months[time.getMonth() + 1];
var date=time.getDate();
var year=time.getYear();
if (year < 2000)    // Y2K Fix, Isaac Powell
year = year + 1900; // http://onyx.idbsu.edu/~ipowell
document.write(lmonth + " ");
document.write(date + ", " + year + "&nbsp;");
}
//Image Tools----------------------------------------------------------------------------------------------------------------------------
function LoadImageSet() {
   //given a list of names of image resources, this returns an array of these images pulled from the Image Resources area.
   var imageSet = new Array(LoadImageSet.arguments.length);
   for (i = 0; i < LoadImageSet.arguments.length; i++) {
      imageSet[i] = new Image();
      imageSet[i].src = parseName(LoadImageSet.arguments[i]);
   }
   return imageSet;
}
function setImage(imageSet, theElement, destImage) {
   if (document.images) {
      destImage.src = imageSet[theElement].src;
   }
}
function GoDown(imageSet, destImage) {
   setImage(imageSet, 1, destImage);
}
function GoUp(imageSet, destImage) {
   setImage(imageSet, 0, destImage);
}
//Parse Image Names to accurate URLS----------------------------------------------------------------------------------------
//this is used for the parseImageName function
var theLoc = window.location.href;
var thePath = "";
function parseName(imageName) {
	//given an image file name, his puts the appropriate path and Domino URL information around it.
	var returnString = thePath + imageName + "";
	return returnString;
}
//Opens New Window------------------------------------------------------------------------------------------------------------------
function NewWin() {
        window.open("","HelpWin", "width=500,height=500,status=no,resizable=no,menubar=yes,scrollbars=yes")
}