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