The Devil's name is not Lucifer

[TorahTent]

The devil's name is not Lucifer.

Yeshayah (Isaiah) 14:12 TS2009
[12] "How you have fallen from the heavens, O Hĕlĕl, son of the morning! You have been cut down to the ground, you who laid low the nations!

It will come as a shock to some that the name "Lucifer" does not occur in the Hebrew Bible; it is in neither the Hebrew text nor the Greek text. It is an unfortunate translation of the KJV (and of John Wycliffe) in Isa 14:12 which most modern versions do not have. What are the facts?
The Hebrew word in Isa 14:12 is "helel" (הֵילֵל), meaning, "shining one", from the root word, "halal" meaning, "to shine". The word was used to describe Venus, the morning (or evening) star (actually a planet!), but which easily outshines Sirius. The complete phrase in the Hebrew is "helel ben-shachar" (הֵילֵ֣ל בֶּן־שָׁ֑חַר) meaning "Venus, son of the morning", or, "Morning star, son of the morning".