get_K(ey)