function getFormattedDate()
{
    today 	= new Date();
    date  	= today.getDate();
    day_index   = today.getDay();
    month_index = today.getMonth();
    year  	= today.getFullYear();

    //----------------------------------------------------
    // Compute the day name
    //----------------------------------------------------
    var day = "";
    switch(day_index)
    {
	case 0:
	    day = "Sunday";
	    break;
	case 1:
	    day = "Monday";
	    break;
	case 2:
	    day = "Tuesday";
	    break;
	case 3:
	    day = "Wednesday";
	    break;
	case 4:
	    day = "Thursday";
	    break;
	case 5:
	    day = "Friday";
	    break;
	case 6:
	    day = "Saturday";
	    break;
	default:
	    day = "Unknown day";
	    break;
    }

    //----------------------------------------------------
    // Compute the month name
    //----------------------------------------------------
    var month = "";
    switch(month_index)
    {
       	case 0:
            month = "January";
    	    break;
	case 1:
	    month = "February";
            break;
	case 2:
	    month = "March";
            break;
	case 3:
	    month = "April";
            break;
	case 4:
	    month = "May";
            break;
	case 5:
	    month = "June";
            break;
	case 6:
	    month = "July";
            break;
	case 7:
	    month = "August";
            break;
	case 8:
	    month = "September";
            break;
	case 9:
	    month = "October";
            break;
	case 10:
	    month = "November";
            break;
	case 11:
	    month = "December";
            break;
	default:
	    month = "Unknown month";
            break;
    }

    var suffix = "";
    switch(date)
    {
	case 1:
	case 21:
	case 31:
	    suffix = "st";
	    break;
	case 2:
	case 22:
	    suffix = "nd";
	    break;
	case 3:
	case 23:
	    suffix = "rd";
	    break;
	default:
	    suffix = "th";
	    break;
    }
    var result = day + ", " + date + suffix + " " + month + " " + year;
    return result;
}