Banda de Música La Estrella

document.addEventListener("DOMContentLoaded", function () { const input = document.getElementById("repertorioInput"); const tabla = document.getElementById("tablaRepertorio"); const visible = document.getElementById("repertorioVisible"); if (!input || !tabla) return; input.addEventListener("keyup", function () { const filter = input.value.toLowerCase(); const rows = tabla.querySelectorAll("tbody tr"); let visibles = 0; rows.forEach(function (row) { const text = row.innerText.toLowerCase(); if (text.includes(filter)) { row.style.display = ""; visibles++; } else { row.style.display = "none"; } }); if (visible) { visible.innerText = visibles; } }); });