<!-- Begin hiding from Javascript-impaired browsers

// preload images  ---------------------------------------------------------------
      if (document.images)

        {
                spacerImage = new Image
                spacerImage.src = "images/spacer.gif"
        }
        else
        {
                spacerImage = ""
        }
		  
// simple browser sniffer -------------------------------------------------------

    var agt=navigator.userAgent.toLowerCase();
    var is_nav  = ((agt.indexOf('mozilla')!=-1) && (agt.indexOf('spoofer')==-1)
                && (agt.indexOf('compatible') == -1) && (agt.indexOf('opera')==-1)
                && (agt.indexOf('webtv')==-1) && (agt.indexOf('hotjava')==-1));

    var is_ie = ((agt.indexOf("msie") != -1) && (agt.indexOf("opera") == -1));

// function to show lastModified date in differnt format: long and short

function showModDate()
  {


// To display longDate: January 22, 2003

  var revDate = document.lastModified;
  var myDate = new Date(revDate);
  var strMyDate = myDate.toString(myDate);
  var shortDay = strMyDate.substring(0,4);
  var shortMonth=strMyDate.substring(4,7);
  var numDay = strMyDate.substring(8,10);
  var longYr = myDate.getFullYear();
  var numMonth=(myDate.getMonth()+1);

  if (numMonth == "1") { longMonth = "January"; }
  else if (numMonth == "2") { longMonth= "February"; }
  else if (numMonth == "3") { longMonth = "March";  }
  else if (numMonth == "4") { longMonth= "April";  }
  else if (numMonth == "5") { longMonth = "May"; }
  else if (numMonth == "6") { longMonth= "June"; }
  else if (numMonth == "7") { longMonth = "July"; }
  else if (numMonth == "8") { longMonth= "August"; }
  else if (numMonth == "9") { longMonth = "September"; }
  else if (numMonth == "10") { longMonth= "October"; }
  else if (numMonth == "11") { longMonth = "November"; }
  else if (numMonth == "12") { longMonth= "December"; }


  // To display the date in this format: ie. January 15, 2000
  var longDate = longMonth +" "+ myDate.getDate() + ", " + myDate.getFullYear();

  var shortDate = shortMonth + " " +myDate.getDate() +", " + myDate.getFullYear();

         var lastMod = new Date(document.lastModified);
         var myRevDate = "Jan 23, 2003";

			var lastRevDate = new Date(myRevDate);

			var newRevDate = shortDate;

         if (is_ie)
            {
               return newRevDate;
     		   }

			else if ( (is_nav) && ( lastMod >= lastRevDate) )
     		   {
     		      return newRevDate;
				}

     		else if ( (is_nav) && ( lastMod <= lastRevDate) )  // if lastModified is incorrect like Dec 31/69 or Jan 1/70
     		   {
     		      return myRevDate;
				}


  }

// Hide email addresses from spammers using Javascript code ****************************************************************

   function generateEmail( domain, username ) {
  		var atsign = "&#64;";
      var addr = username + atsign + domain;
		document.write('<a href="'+'mail'+'to:'+addr+'?subject=Villa del Arco Inquiry">'+addr+'</a>');
      }
   function makeEmailLinkText( domain, linktext, username ) {
  		var atsign = "&#64;";
      var addr = username + atsign + domain;
		document.write('<a href="'+'mail'+'to:'+addr+'?subject=Villa del Arco Inquiry">'+linktext+'</a>');
      }

// End hiding Javascript -->
