+ function rcformattime(t) {
+ var d = t.getDay();
+ d = ["Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat"][d];
+ var h = t.getHours();
+ var m = t.getMinutes();
+ var s = t.getSeconds();
+ function pad(x) {
+ return (x < 10 ? "0" : "") + x;
+ }
+ return d + " " + pad(h) + ":" + pad(m) + ":" + pad(s);
+ }
+