/*
* this function returns the files last modified date formatted as d-mmm-yyyy
*/
function getModifiedDate(in_strLength)
{
    if(in_strLength == 'long')
    {
    	var arrMonths = ["January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December"];
    }
	else
	{
		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.getFullYear();
}