function export_frs() {
    window.location.href = "/export_frs.csv";
}