Hal is a short form of the English name Harold or Henry