My apologies!

 

After a more thorough search, I found exactly the answer I needed in a post from Adam:

function getHTML() {
 
 //Editor1 is the ID of the Editor
 var editor = document.getElementById("Editor1_editBox");
 alert(editor.innerHTML);

}

I didn't know about that "_editBox" part!

Thanks Adam!