Qual o significado do nome hall?