//Prints last modified date of the document


function getDateStr(d)
{
    var day = d.getDate(); 
    var month = d.getMonth();
    var year = d.getFullYear();
    var weekday = d.getDay();
    
    weekdayStr = ['Sunday', 'Monday', 'Tuesday', 'Wednesday',
                  'Thursday', 'Friday', 'Saturday'];
    monthStr = ['January', 'February', 'March', 'April', 'May', 'June', 'July',
                'August', 'September', 'October', 'November', 'December'];
    weekdayAbbrStr = ['Sun', 'Mon', 'Tue', 'Wed', 'Thur', 'Fri', 'Sat'];
    monthAbbrStr = ['Jan', 'Feb', 'Mar', 'Apr', 'May', 'June', 'July',
                    'Aug', 'Sept', 'Oct', 'Nov', 'Dec'];
    
    //format: MM/dd/yyyy
    return (month < 9 ? "0" + (month + 1) : (month + 1))
           + "/" + (day < 10 ? "0" + day : day)
           + "/" + year;
} //getDateStr

document.writeln("Last Updated: "
                 + getDateStr(new Date(document.lastModified)));