Omkring half 9 inträdde konungen,