When Hagia Sophia was converted to a mosque…