what time zone has an offset from utc more than or equal to 4.0?
(AND time.time_zone (ge time.time_zone.offset_from_uct 4.0^^http://www.w3.org/2001/XMLSchema#float))