/*
* this function returns the files last modified date formatted as d-mmm-yyyy
*/
function getModifiedDate()
{
    var arrMonths = ["Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec"];
    var dtModified = new Date(document.lastModified);
    
    return dtModified.getDate() + "-" + arrMonths[dtModified.getMonth()] + "-" + dtModified.getYear();
}