I will try that when I get back to work monday.
However, I fail to see the difference between:
var editor = document.getElementById("CE_Editor_ID")
and
var editor = document.getElementById("<%=Editor1.ClientID%>")
since the latter returns the same ID used in the former.