= function(el) { // public
                                console.log("Removing node");
                                $(el).remove();
                                this.operations++;
                                this.updateLog();
                            };
                        }
        </script>
        <script type="text/javascript">
            SyntaxHighlighter.defaults['gutter'] = false;
            SyntaxHighlighter.all()
        </script>
    </body>
</html>