Well, my original implementation uses this:
dstr=(new Date(lret*1000)).toUTCString().replace(” GMT”,””);
which prints out neither ‘GMT’ nor ‘UTC’. So I am actually a bit curious when you said it prints ‘UTC’. Perhaps the behavior is different on different browser. In any case, adding the time zone number is an improvement.