9 ) Romersk konung.