{details = {EST = {abbrev = EST; isDST = 0; offset = "+10:00:00"; }; }; }