Please read the following table in Markdown format and then answer the question according to the table. Table cells in one row are seperated by '|', and different rows are seperated by '
'.

Table:
| School Name | City | Students | FTE Teachers | Pupil/Teacher Ratio |
| --- | --- | --- | --- | --- |
| Boynton High School | San Jose | 280.0 | 16.8 | 16.7 |
| Branham High School | San Jose | 1444.0 | 54.4 | 26.5 |
| Camden Community Day School | San Jose | 30.0 | 4.6 | 6.5 |
| Del Mar High School | San Jose | 1278.0 | 55.6 | 23.0 |
| Leigh High School | San Jose | 1619.0 | 64.6 | 25.1 |
| Prospect High School | Saratoga | 1213.0 | 53.0 | 22.9 |
| Westmont High School | Campbell | 1663.0 | 66.6 | 25.0 |
Question:
What is the average number of students for schools with a pupil to teacher ratio of 25.1?
Answer:
1619.0