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