{details = {JST = {abbrev = JST; isDST = 0; offset = "+9:00:00"; }; }; }