13^log13(7)