Does "the Devil" have an actual name?.... Yes

I have struggled with this for many years. The challenge is that Christian tradition teaches that the leader of all evil in the world is the character we first see in Gen 3 (temptation of Eve in the garden). However, that character is most certainly a "serpent" and we never see mention of a serpent character ANYWHERE in the Bible after the serpent of Gen 3 is punished by God..... but I found "the devil's" name..... and the implication will blow your mind. ;)