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

	    $json_depts[] = $department;

      }

    /*

     * If what the user has entered already can only be completed to a

     * particular department, start displaying courses from that

     * department instead of just returning that one department.

     */

    if (count($json_depts) == 1)

      {

	$dept = $json_depts[0];

	  $dept = $dept['value'];

	page::redirect('auto.php' . page::query_string(array('term' => $dept . '-') + $_GET));

      }

    /*

     * Multiple or no departments match the user's input. Perhaps

     * in the future, if there are no matches we can backspace for

     * the user...

     */

    echo json_encode($json_depts);

    exit(0);