// to be included AFTER astroDocsList.js.php
var astroDocsFileDatesObj = {};
(function()
{	for (var L = astroDocsList.length, i = 0; i < L; i++)
	{	var item	= astroDocsList[i];
		var fullUrl	= toFullUrl(item.url);
		var fileDate	= Date.parseToDate(item.date);
		astroDocsFileDatesObj[fullUrl] = {fileDate:fileDate};
	}
})();
astroDocsFileDatesObj.getAgeInfo = function(url)
{	var fullUrl = toFullUrl(url);
	return this.hasOwnProperty(fullUrl) ? this[fullUrl].fileDate.ageUntil(pageLoaded) : NaN;
};