function setDateTime(GMTtimeStamp) { 
var x = new Date();      
var timeadj = x.getTimezoneOffset() * -60 * 1000;    
GMTtimeStamp = (GMTtimeStamp * 1000) ;                                                 
var y = new Date(GMTtimeStamp);
return y;
} 

function formatTimeString(d) { 
var hour = d.getHours(); 
var AmPm = "am"; 
if(hour == 0) { 
   hour = 12; 
} 
else if(hour == 12) { 
   AmPm = "pm"; 
} 
else if(hour > 12) { 
   hour -= 12; 
   AmPm = "pm"; 
} 
var y = d.toString();
var z = new Array ();
z = y.split(" ");
var seconds = d.getSeconds();
if (seconds < 10) {
   seconds = "0" + seconds;
}
var minute = d.getMinutes(); 
if (minute < 10) {
   minute = "0" + minute;
}
var str = z[0]+" "+z[1]+" "+z[2]+","+z[5]+" "+ hour+":"+minute+":"+seconds+" "+AmPm+" "+z[4]; 
return str; 
} 

function printDT(time) { 
var d = setDateTime(time); 
var str = formatTimeString(d); 
document.write(str); 
}