{
   details = {GMT+0730 = {abbrev = GMT+0730; isDST = 0; offset = +7:30:00; }; };
}