har_k [9]