clean_empty_exit();

    }

    $departments = unserialize(file_get_contents($dept_file));

    $json_depts = array();

    foreach ($departments as $key => $department) {

      if (!strncmp($department, $dept, $dept_strlen)) {

      }

    }

    echo json_encode($json_depts);

    exit(0);

  }