var data = 'body='+encodeURIComponent(editor.getData());
ajaxpost = new XMLHttpRequest();
ajaxpost.open('POST', '/edit.php'+pagename, true);
var data = 'body='+encodeURIComponent(editor.getData());
ajaxpost = new XMLHttpRequest();
ajaxpost.open('POST', '/edit.php'+pagename, true);