hal_of