<p>This tests for a crash on Undo.  You should see an empty input field below.</p>
<input type="text" id="input">

<script>
if (window.testRunner)
    window.testRunner.dumpAsText();
document.getElementById("input").focus();
document.execCommand("InsertText", false, "x");
document.execCommand("Undo");
</script>
