Where Did The Name Hal Come From In 2001