{
    details = {"GMT-0700" = {abbrev = "GMT-0700"; isDST = 0; offset = "-7:00:00"; }; };
}