from hal