function getFormattedDateString(dateObj)
{
    if (dateObj == null) {
        return '';
    }
    if (jQuery.browser.opera) {
        return getFormattedDateString_opera(dateObj);
    }
    var fullDateStr = dateObj.toDateString();
    var parts = fullDateStr.split(" ");
    var dayOfWeek = parts[0];
    var month = parts[1];
    var dayOfMonth = parts[2];
    var year = parts[3];

    return dayOfWeek + dayOfMonth + month + year;
}

function getFormattedDateString_opera(dateObj)
{
    if (dateObj == null) {
        return '';
    }
    var fullDateStr = dateObj.toDateString();
    var parts = fullDateStr.split(" ");
    var dayOfWeek = parts[0].replace(',', '');
    var month = parts[2];
    var dayOfMonth = parts[1];
    var year = parts[3];

    return dayOfWeek + dayOfMonth + month + year;
}