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('Sunday','Monday','Tuesday','Wednesday','Thursday','Friday','Saturday');
	        
		var day_of_the_week = weekday_array[numerical_day];
    	var month_array = new Array('January','February','March','April','May','June','July','August','September','October','November','December');
        var month_name = month_array[numerical_month];
        var date_string=month_name+' '+date+', '+year;

		document.write("<span class=\"smyel\">"+ date_string +"</span>");
}	


function display_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('Sunday','Monday','Tuesday','Wednesday','Thursday','Friday','Saturday');
	        
		var day_of_the_week = weekday_array[numerical_day];
    	var month_array = new Array('January','February','March','April','May','June','July','August','September','October','November','December');
        var month_name = month_array[numerical_month];
        var date_string=month_name+' '+date+', '+year;

	document.write("<span class=\"maintop\">"+ date_string +"</span>");
}