function addToFavorite(favTitle){
  if ((navigator.appVersion.indexOf("MSIE") > 0) && (parseInt(navigator.appVersion) >= 4)) {
    window.external.AddFavorite(location.href, unescape(favTitle));
  }
}

function is_valid_zip(zip) {

  var valid = "0123456789-";
  var hyphencount = 0;

  if (zip.length!=5 && zip.length!=10) {
    alert("Please provide a valid zip or postal code.");
    return false;
  }

  for (var i=0; i < zip.length; i++) {
    temp = "" + zip.substring(i, i+1);
    if (temp == "-") hyphencount++;
    if (valid.indexOf(temp) == "-1") {
      alert("Please provide a valid zip or postal code.");
      return false;
    }

    if ((hyphencount > 1) || ((zip.length==10) && ""+zip.charAt(5)!="-")) {
      alert("Please provide a valid zip or postal code.");
      return false;
    }
  }

return true;
}

function current_date() {

   var now = new Date();
   var month = now.getMonth();
   var date = now.getDate();
   var browserName = navigator.appName;
   var browserVer = parseInt( navigator.appVersion );
   var version = "";
   var monthname;
   var currentDate;

   if (month == 0) monthname = "January";
   if (month == 1) monthname = "February";
   if (month == 2) monthname = "March";
   if (month == 3) monthname = "April";
   if (month == 4) monthname = "May";
   if (month == 5) monthname = "June";
   if (month == 6) monthname = "July";
   if (month == 7) monthname = "August";
   if (month == 8) monthname = "September";
   if (month == 9) monthname = "October";
   if (month == 10) monthname = "November";
   if (month == 11) monthname = "December";

   if (browserName == "Netscape" && browserVer >= 4)
         version = "n4";
   else if (browserName == "Microsoft Internet Explorer" && browserVer >= 4 )
         version = "e4";
   else
         version = "other";
   if (version == "n4" || version == "e4") {
      var year = now.getFullYear();
   } else {
      var year = now.getYear();
      if (year < 100) {
      // Entered value is two digits, which we allow for 1930-2029.
         if (year >= 30) {
            year += 1900
         } else {
            year += 2000
         }
      }
   }

   currentDate = monthname + '&nbsp;'+ date + ',' + '&nbsp;' + year; 
   return (currentDate);

}