Input (grade 9): It is usually referred to simply as "King's" within the university.
Output (grade 7): The students at the university usually just call it "King's".