function format_PST_time(t) {
var Hours = t.getHours();
var Minutes = t.getMinutes();
var Seconds = t.getSeconds();
var Day = t.getDay();
var Date = t.getDate();
var Month = t.getMonth();
var Year = getFullYear(t);
// var Year = t.getYear()+1900;
// var ampm = "AM";
// var zone='PST';
Hours -= 8;
if(Hours<0){
Day -= 1;
Date -= 1;
Hours += 24;
}
// if (Hours>11) {ampm="PM";}
// if (Hours>12) {Hours -= 12;}
// if (Hours==0) {Hours = 12;}
// if (Minutes<10) {Minutes = "0"+Minutes;}
// if (Seconds<10) {Seconds = "0"+Seconds;}
timeString = "";
timeString += days[Day];
timeString += "
";
timeString += months[Month];
timeString += " ";
timeString += dates[Date-1];
timeString += ", ";
timeString += Year;
timeString += "
";
// timeString += Hours;
// timeString += ":";
// timeString += Minutes;
// timeString += ":";
// timeString += Seconds;
// timeString += " ";
// timeString += ampm;
// timeString += "
";
// timeString += zone;
return timeString;
}
//---->