How old is Hal?