add: if(dateString.search(/^\d\d\d\d/) != -1) return W3CToIETFDate(dateString);  
context: function dateRescue(dateString){  // Deal with various kinds of invalid dates  // Just timestamps for now.  if(!isNaN(parseInt(dateString)))   { //It's an integer, so maybe it's a timestamp    var d = new Date(parseInt(dateString)*1000);    var now = new Date();    var yeardiff = now.getFullYear()-d.getFullYear();    debug("Rescue Timestamp date: " + d.toString() + "\nYear diff:" + yeardiff + "\n");    if((yeardiff >= 0) && (yeardiff<3))    {      //it's quite likely the correct date      return d.toString();    }  }  // Can't help. Set to current time.  return (new Date()).toString();} 
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/a726cf3bef215bac6d3c1797dc8acaf2e510466a/utils.js/clean/mail/extensions/newsblog/content/utils.js