How many people at Hogwarts?