Forums Bug Reports $asctime "problem"

I saw something strange while i use $asctime, check this it might not be an bug but i cannot understand why not return GMT and return GMP or GMA in sometimes, ok the solution is to use zzz on timezone and not z.

example: //echo $asctime($ctime(Thu $+ $chr(44) 01 May 2014 20:16:25 GMT),dd/mmm/yy HH:nn:ss z GMT)

output: 01/May/14 20:16:25 +3 GMP

example2: //echo $asctime($ctime(Thu $+ $chr(44) 01 May 2014 20:16:25 GMT),dd/mmm/yy HH:nn:ss zzz gmt)

output: 01/May/14 20:16:25 +0300 GMT g5p

- Thanks!