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