hal3k