} // document.write('<CENTER>' + message + '<CENTER>'); //end display title
function display_date() {
date = new Date();
var day_of_week_number = date.getDay(); var day_of_month = date.getDate(); var month_number = date.getMonth(); var year = date.getYear(); var day_of_week = ''; var month = ''