What Name Is Hal Short For