The second line of which carol is ' When they are both full grown''?