{ details = {"GMT-0400" = {abbrev = "GMT-0400"; isDST = 0; offset = "-4:00:00"; }; }; }