function f() { document.getElementById("div_1").innerHTML=""; }
f();