{ details = {"GMT-1200" = {abbrev = "GMT-1200"; isDST = 0; offset = "-12:00:00"; }; }; }