function twodig(a)
{
 var s = a.toString();
 while (s.length < 2)
 {
   s = "0" + s;
 }
 return s;
}
function localdate(b)
{
 var dy = new Date(b); 
 var weekday=new Array(7);
 weekday[0]="Sun";
 weekday[1]="Mon";
 weekday[2]="Tue";
 weekday[3]="Wed";
 weekday[4]="Thu";
 weekday[5]="Fri";
 weekday[6]="Sat";
 var s = dy.toString();
 var d = new Date(s); 
 var dd = d.getDate();
 var mm = d.getMonth() + 1;
 var yyyy = d.getFullYear();
 var hh = d.getHours();
 var nn = d.getMinutes();
 s = weekday[d.getDay()];
 s = s.concat(' ', twodig(dd), '/', twodig(mm), '/', yyyy.toString(), ' ', twodig(hh), ':', twodig(nn) );
 return s;
}