<!--
  function getLastModified(d)
  {
    var arrMonth=new Array();
    arrMonth["Jan"]="January";
    arrMonth["Feb"]="February";
    arrMonth["Mar"]="March";
    arrMonth["Apr"]="April";
    arrMonth["May"]="May";
    arrMonth["Jun"]="June";
    arrMonth["Jul"]="July";
    arrMonth["Aug"]="August";
    arrMonth["Sep"]="September";
    arrMonth["Oct"]="October";
    arrMonth["Nov"]="November";
    arrMonth["Dec"]="December";

    var str=new String(d);

    str = str.split(" ");

    var str2=new String(str[1]);
    str2=str2.split("-");
    if(str2.length!=3)
      return null;
    return arrMonth[str2[1]]+" "+str2[0]+", "+str2[2];
  }
//-->