var allTags = $('#filter-popover .form-check-input').toArray().map(checkbox => checkbox.value);
    refreshCards(allTags)
}

function initTabs() {
    if (window.location.hash.length > 0) {
        allScenarioButtonClicked()
    } else if ($('#failed-scenarios').length > 0) {
        failedScenarioButtonClicked()
    }

        }

        public void columnHomePostalAddress() {
            doColumn("homePostalAddress");
        }

        public void columnInitials() {
            doColumn("initials");
        }

        public void columnInternationaliSDNNumber() {
            doColumn("internationaliSDNNumber");
        }

        public void columnLabeledURI() {
            doColumn("labeledURI");