function limpiarFolios() {
    document.getElementById("textareaFolios").value = "";
  }