oh, right! I didn’t think of that

according to wikipedia: “K9: approx. 7,000 m peak near Trango Towers”

til, I guess