          <!-- hide from old browsers
            function MakeArray(n) {
                this.length = n
                return this
            }

            monthName = new MakeArray(12)
            monthName[1] = "January"
            monthName[2] = "February"
            monthName[3] = "March"
            monthName[4] = "April"
            monthName[5] = "May"
            monthName[6] = "June"
            monthName[7] = "July"
            monthName[8] = "August"
            monthName[9] = "September"
            monthName[10] = "October"
            monthName[11] = "November"
            monthName[12] = "December"

            update = new Date(document.lastModified)
            document.write("Last updated <b><i>" + monthName[update.getMonth() + 1] + " " + update.getDate() + ", " + update.getFullYear() + ".</i></b>")
          //-->

