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