What age was King Tutankhamun when he was king?

King Tutankhamun became king at the age of 9.