<!DOCTYPE html>
<html>
<body>
<script src="../../resources/js-test.js"></script>
<script id="script1">
document.addEventListener("DOMCharacterDataModified",function(){
    document.body.innerHTML = "PASS. WebKit didn't crash."; 
    gc();
    finishJSTest();
},true);
</script>
<script>
window.jsTestIsAsync = true;

var scriptElement = document.getElementById('script1');
scriptElement.parentNode.appendChild(scriptElement.firstChild);
scriptElement.parentNode.removeChild(scriptElement);
document.designMode = "on";
document.execCommand("SelectAll");
document.execCommand("FontSizeDelta", false, 3);
</script>
</body>
</html>