/* returns the current date in the following format: September 20, 2002*/ 
function formatDate() {
   var months = "January___February__March_____April_____May_______June______July______";
      months += "August____September_October___November__December";
	  
   with (new Date()) {
      day   = getDate();
	  year  = getFullYear();

	  // get the month as a number
	  month = 10 * getMonth();

	  // convert the month to its corresponding alphabetic representation
      month = months.substring(month, month + 9);
	 
	  // delete all trailing spaces
      if (month.indexOf("_") != -1) 
         month = month.substring(0, month.indexOf("_"));
      
	  // now combine all the parts
	  dateStr = month + " " + day + ", " + year;
   }
	  
   // return the formatted string
   return dateStr;
}

/* Mouseover for the left menu */
function rollOver(img_name, state, path, file_type) {
   /* Assume a JPEG format if none provided */
   if (!file_type) 
      file_type = '.jpg'; 

   /* Change image to "On" if the state is 1 */
   if (state == 1) 
      newImage = img_name + 'On' + file_type; 

   /* Assume the original image if any other state is provided */
   else 
      newImage = img_name + file_type;

   /* If no path is specified, assume the images directory */
   if (!path) 
      path = 'images/';
	  
   /* change the image */	  
   document.images[img_name].src = path + newImage;
   //alert('path + newImage = ' + path + newImage);   
   //alert('document.images[img_name].src = ' + document.images[img_name].src);
}