function a() {
   var a = '';
   a += '\74\141\40\150\162\145\146\75\42\155\141\151\154\164\157\72';
   a += '\162\151\143\150\141\162\144';
   a += '\100\152\157\167\163\145\171\56\143\157\155';
   a += '?Subject=Resume';
   a += '\42\76';
   return a;
}

function getModDate(arg) {
   // returns the document's last-modified date
   // in standard short format (dd MMM yyyy)

   if (arg.length == 0) return "";

   var d = new Date(Date.parse(arg));
   var dd, mm, month, year;

   dd = d.getDate();
   if (parseInt(dd) < 10) dd = "0" + dd;   // add leading zero to days 1-9

   // convert month numeric to string
   mm = d.getMonth();
   if (mm == 1)
      month = "Jan";
   else if (mm == 2)
      month = "Feb";
   else if (mm == 3)
      month = "Mar";
   else if (mm == 4)
      month = "Apr";
   else if (mm == 5)
      month = "May";
   else if (mm == 6)
      month = "Jun";
   else if (mm == 7)
      month = "Jul";
   else if (mm == 8)
      month = "Aug";
   else if (mm == 9)
      month = "Sep";
   else if (mm == 10)
      month = "Oct";
   else if (mm == 11)
      month = "Nov";
   else if (mm == 12)
      month = "Dec";
   else month == "";

   yy = d.getYear();
   if (yy > 0 && yy < 100)
      yy = (yy < 70) ? (2000 + parseInt(yy)) : (1900 + parseInt(yy));

   return (dd + " " + month + " " + yy);
}