function boom()
{
var defs = document.getElementById("defs");
var gb = document.getElementById("Gaussian_Blur");
defs.parentNode.removeChild(defs);
gb.removeChild(gb.firstChild); // remove a whitespace text node (!)
document.documentElement.removeAttribute("class");
}