Instruct: Average larger than 450, and a Capacity smaller than 5,177, and a Stadium of ochilview park is what sum of the highest?
Output: SELECT SUM Highest FROM table WHERE Average > 450 AND Capacity < 5,177 AND Stadium = ochilview park