var day = new Array(7);
day[0] = "Sunday";
day[1] = "Monday";
day[2] = "Tuesday";
day[3] = "Wednesday";
day[4] = "Thursday";
day[5] = "Friday";
day[6] = "Saturday";
var day_abb = new Array(7);
day_abb[0] = "Sun";
day_abb[1] = "Mon";
day_abb[2] = "Tues";
day_abb[3] = "Wed";
day_abb[4] = "Thur";
day_abb[5] = "Fri";
day_abb[6] = "Sat";
var month = new Array(12);
month[0] = "January";
month[1] = "February";
month[2] = "March";
month[3] = "April";
month[4] = "May";
month[5] = "June";
month[6] = "July";
month[7] = "August";
month[8] = "September";
month[9] = "October";
month[10] = "November";
month[11] = "December";

var month_abb = new Array(12);
month_abb[0] = "Jan";
month_abb[1] = "Feb";
month_abb[2] = "Mar";
month_abb[3] = "Apr";
month_abb[4] = "May";
month_abb[5] = "Jun";
month_abb[6] = "Jul";
month_abb[7] = "Aug";
month_abb[8] = "Sep";
month_abb[9] = "Oct";
month_abb[10] = "Nov";
month_abb[11] = "Dec";

function modDate(lastModified) {
  var dateObj = new Date(lastModified)
  var wday = day[dateObj.getDay()]
  var lmonth = month[dateObj.getMonth()]
  var date = dateObj.getDate()
  var fyear = dateObj.getYear()
  if (fyear < 2000) 
    fyear = fyear + 1900
  return("Last Modified: " + wday + ", " + lmonth + " " + date + ", " + fyear)
}

function mail(user, domain) {
  return("mailto:" + user + "@" + domain)
}

function maillabel(user, domain) {
  return(user + "@" + domain)
}

function mailer(user, domain, label) {
  return('<a href="' + mail(user, domain) + '">' + label + '</a>')
}

function mailer2(user, domain) {
  return('<a href="' + mail(user, domain) + '">' + maillabel(user,domain) + '</a>')
}