// JavaScript  Convert date to pretty readable date for display.

var m_names = new Array("zero","January", "February", "March", 
"April", "May", "June", "July", "August", "September", 
"October", "November", "December");

if (typeof(TargetDate)=="undefined")
  TargetDate = "6/16/2008 8:00 AM";
  
var Splitspaces = TargetDate.split(" ");
var Gotdate = Splitspaces[0];
var Splitslashes = Gotdate.split("/");
var myMONTH = Splitslashes[0];
var myDAY = Splitslashes[1];
var myYEAR = Splitslashes[2];

document.write (m_names[myMONTH] + " " + myDAY + ", " + myYEAR);