{ details = {"GMT+0500" = {abbrev = "GMT+0500"; isDST = 0; offset = "+5:00:00"; }; }; }