What's the best online/real-time HTML editor?

Here are two examples:
http://htmledit.squarefree.com/
http://www.onlinehtmleditor.net/

Your help would be appreciated.