hal ' 7 0^(