And at the end of eight days, when [the Baby] was to be circumcised, He was called Jesus, the name given by the angel before He was conceived in the womb.