function monthName( month ) {
// Parameter is a number from zero to eleven.
var monthNames = new Array(12) ;
monthNames[0] = 'January' ;
monthNames[1] = 'February' ;
monthNames[2] = 'March' ;
monthNames[3] = 'April' ;
monthNames[4] = 'May' ;
monthNames[5] = 'June' ;
monthNames[6] = 'July' ;
monthNames[7] = 'August' ;
monthNames[8] = 'September' ;
monthNames[9] = 'October' ;
monthNames[10] = 'November' ;
monthNames[11] = 'December' ;
return monthNames[ month ] ;
}

function formatDateDD_MMM_YYYY( date ) { 
//  parameter is created by: date = new Date() ;
  document.write(date.getDate() + ' ' ) ;
  document.write( monthName( date.getMonth() ) + ' ' ) ;
  document.write(date.getFullYear() ) ;  
}