<html>
<head>
<script>
if (window.testRunner)
testRunner.dumpAsText();
function run() {
selection = window.getSelection();
range = document.createRange();
selection.addRange(range);
document.designMode = "on";
document.execCommand("InsertText", false, 'x');
document.open();
document.execCommand("Undo");
selection.deleteFromDocument();
document.body.innerHTML = 'This calling deleteFromDocument after document.open. WebKit should not crash.<br>PASS';
}
</script>
</head>
<body onload="run()">
</body>
</html>