// JavaScript Document// ---------------- bof: displaying the date ---------------------function dispdate() {// Set mydate to Date() which gets the value of the system clock.var mydate=new Date()var year=mydate.getYear()// If the year is less than 1000 the add 1900 to the year for 2000 compliantif (year < 1000)   year+=1900//Get the day, month, date from mydate.var day=mydate.getDay()var month=mydate.getMonth()var daym=mydate.getDate()// If Day of month is less than 10 then use the format 01,02...09if (daym<10)   daym="0"+daym//Arrays for the days of the week, and months of the yearvar dayarray=new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday")var montharray=new Array("January","February","March","April","May","June","July","August","September","October","November","December")//Write out the date.document.write("<p style='color:#aa0000; font-weight:bold'>"+dayarray[day]+ ", " + montharray[month]+" "+daym+", "+year+"</p>")    }// ------------------------ eof: displaying the date -----------------------//for writing email address - to prevent spam, to a degreefunction writemail(alias,thestyle){    document.write ("<A HREF='mailto:" + alias + "@sandgatevermont.com' class='" + thestyle + "'>" + alias + "@sandgatevermont.com</A>");}// ----------------- eof: navigation scripts ----------------------