Fodnoter til 1 Kng 12,17