var months = new Array('Jan', 'Feb', 'Mar', 'Apr', 'May', 'Jun', 'Jul', 'Aug', 'Sep', 'Oct', 'Nov', 'Dec');

function FormatLastModifiedDate(date)
{
	var d = date.getDate();
	var m = date.getMonth();
	var y = date.getFullYear();

	var mmm = months[m];

	return "" + mmm + " " + (d<10?"0"+d:d) + ", " + (y<10?"0"+y:y);
}