diff --git a/html/js/scripts.js b/html/js/scripts.js
index fbe50055f..5632869ec 100644
--- a/html/js/scripts.js
+++ b/html/js/scripts.js
@@ -402,3 +402,10 @@ function add_div(obj) {
 	bottom_div.appendChild(elt);
     } catch (e) { alert(e.message);}
 }
+/**
+ * remove a object created with add_div
+ * @param elt id of the elt 
+ */
+function removeDiv(elt) {
+    if (g(elt) ){ document.body.removeChild(g(elt)); }
+}
\ No newline at end of file