var weekDays = new Array();
weekDays[0] = "Sun";
weekDays[1] = "Mon";
weekDays[2] = "Tue";
weekDays[3] = "Wed";
weekDays[4] = "Thu";
weekDays[5] = "Fri";
weekDays[6] = "Sat";

var monthNames = new Array();
monthNames[0] = "Jan";
monthNames[1] = "Feb";
monthNames[2] = "Mar";
monthNames[3] = "Apr";
monthNames[4] = "May";
monthNames[5] = "Jun";
monthNames[6] = "Jul";
monthNames[7] = "Aug";
monthNames[8] = "Sep";
monthNames[9] = "Oct";
monthNames[10] = "Nov";
monthNames[11] = "Dec";

var cardinals = new Array();
cardinals[0] = "st";
cardinals[1] = "nd";
cardinals[2] = "rd";
cardinals[3] = "th";

function modDate (dateFormat)
	{
/* pattern to match is hr:min:sec month/day/year 
or hr:min:sec month/day/year
e.g. 15:31:32 12/05/2006 (December 5th)  Fx & IE 
Tuesday, December 05, 2006 15:31:32 Netscape 
Note that document.lastModified uses months 1-12 whereas the month array uses 0-11.
 */  
var fileDay = "", fileMonth = "", fileYear = "";
var list;
var dlm = dateFormat;

// Decide between two styles: with / and without.
if (dlm.indexOf ("/") != -1)
	{
    // find the first instance of /, extract the two previous digits and look up the month
	fileMonth = monthNames [dlm.substr (dlm.indexOf("/")-2, 2)-1];
    // use the following two digits for the day 
	fileDay = dlm.substr (dlm.indexOf ("/")+1, 2);
    // use the two final digits for the year
	fileYear = dlm.substr (dlm.indexOf ("/")+6, 2);
	}
else
	{
    // No '/' so month spelt out 
	for (i = 0; i < 12; i++)
    	{
        // look for each month using the array 
        if (dlm.indexOf (monthNames[i]) != -1)
        	{
            fileMonth = monthNames [i];
            }
        }

        // detect hours and delete
    var hourStart = dlm.search (/ \d{2}:/);
    if (hourStart != -1)
      	{
        dlm = dlm.substr (0, hourStart) + dlm.substr (hourStart + 1);
        }

        // detect years and delete 
    var yearStart = dlm.search (/\d{4}/);
	if (yearStart != -1)
       	{
	    fileYear = dlm.substr (yearStart+2, 2);
        dlm = dlm.substr (0, yearStart-1) + dlm.substr (yearStart);
	    }

// Find day forms: , " 16th", "16th", " 6th", "6th", " 06", "06".
    var dayStart = dlm.search (/ \d{2}[A-Z]/i); // " 16th"
    if (dayStart != -1)
    	{
        fileDay = dlm.substr (dayStart + 1, 2);
        }
    else
       	{
    	dayStart = dlm.search (/^\d{2}[A-Z]/i);  // "16th" 
    	if (dayStart != -1)
    		{
        	fileDay = dlm.substr (dayStart, 2);
        	}
    	else
       		{
    		dayStart = dlm.search (/ \d[A-Z]/i);  // " 6th" 
    		if (dayStart != -1)
    			{
        		fileDay = "0" + dlm.substr (dayStart + 1, 1);
        		}
    		else
       			{
    			dayStart = dlm.search (/^\d[A-Z]/i);  // "6th" 
    			if (dayStart != -1)
    				{
        			fileDay = "0" + dlm.substr (dayStart, 1);
        			}
    			else
       				{
    				dayStart = dlm.search (/ \d{2}/);  // " 06" 
    				if (dayStart != -1)
    					{
        				fileDay = dlm.substr (dayStart + 1, 2);
        				}
    				else
       					{
    					dayStart = dlm.search (/ \d/);  // "06" 
    					if (dayStart != -1)
    						{
        					fileDay = dlm.substr (dayStart, 2);
        					}
    					else
       						{
					        fileDay = "??";
       						}
                        }
                    }
                }
            }
        }
    }
var dateFormatted = fileDay + fileMonth + fileYear;
return dateFormatted;
}