var formatted_date;
        var today = new Date();
        var day = today.getDay();
        var date = today.getDate();
        var month = today.getMonth() + 1 ;
        var year = today.getYear()

// Make Y2k compliant
if (( year >= 0 ) && ( year <= 99 )) {
   year += 1900;
        }

        if ( month == 1 ) { month = "January" }
        else if ( month == 2 ){ month = "February"}
        else if ( month == 3 ){ month = "March"}
        else if ( month == 4 ){ month = "April"}
        else if ( month == 5 ){ month = "May"}
        else if ( month == 6 ){ month = "June"}
        else if ( month == 7 ){ month = "July"}
        else if ( month == 8 ){ month = "August"}
        else if ( month == 9 ){ month = "September"}
        else if ( month == 10 ){ month = "October"}
        else if ( month == 11 ){ month = "November"}
        else if ( month == 12 ){ month = "December"}
        else { month = "Month ?"}

        formatted_date = new String ( month + " " + date + ", " + year);