英文名hal的寓意