Either way, he was King by 1077.
Mõlemal juhul oli ta kuningas aastast 1077.