Students as washington elementry .about how many students does jefferson high school have?