function today_string() {
// dependant on date functions defined in mi-utilities.js
var today = new Date();
return today.getDayString()+', '+today.getMonthString()+' '+today.getDate()+', '+today.getFullYear();
}