can u id this xmas song?

xmas song circa late60's or early 70's...possibly mary hopkins??....lyrics:-
'virgin mary had a little baby
oh lord glory hallelujah
oh lord pretty little baby?
glory be to the new born king

thanx 4 ur help!!

"WHAT YOU GONNA CALL YOUR PRETTY LITTLE BABY" by: Joan Baez
(Words and music by: David Barnes & Bob Corman
Also recorded by: Harry Belafonte - June 1, 1958


Mary, Mary had a little baby
Oh, pretty little baby
Oh, pretty little baby
Glory be to the newborn king

Star a-shinin', shinin' on the manger
Oh, shinin' on the manger
Oh, welcoming a stranger
Glory be to the newborn king

Mary, Mary who was here, who knew him
Oh, did anybody know him
The ox and the donkey
They bowed right down before him
Glory be to the newborn king

Mary, what you gonna name your baby
Oh, pretty little baby
Mm, pretty little baby
Glory be to the newborn king

Some call him Emanuel
Think I'll call him Jesus
Mm, my pretty little Jesus
Glory to the newborn king

Do you know if it was later recorded by Mary Hopkin?? and. if so, was the title different??

oh come all ye faithful?

thanx. i've found the title...Mary Hopkin...Mary had a baby...Regal Zonophone 1972 & 1973..
can't find a copy or a download though!!