partition by <1KI6 -:21 >