";

document.getElementById("content").appendChild(div);

ok(true, "Keep the harness happy");

]]>