    });
            var DagreButton = document.getElementById('DagreButton');
            DagreButton.addEventListener('click', function () {
                window.cy.layout(
                    {
                        name: 'dagre',
                        avoidOverlap: true,
                        rankSep: 15,
                        padding: 5,
                        fit: true
                    }
                ).run();
                window.cy.resize();
                window.cy.fit();

       