function display_todays_date()
{

var today = new Date();
var numerical_day=today.getDay();
var numerical_month=today.getMonth();
var date=today.getDate();
var year=today.getFullYear();

var weekday_array = new Array('Sun','Mon','Tue','Wed','Thu','Fri','Sat');
var day_of_the_week = weekday_array[numerical_day];

var month_array = new Array('Jan','Feb','Mar','Apr','May','Jun','Jul','Aug','Sep','Oct','Nov','Dec');
var month_name = month_array[numerical_month];

var date_string=day_of_the_week+' '+month_name+' '+date+', '+year;
document.write(date_string);
}