Let M be a hyperkahler manifold with the hyperkahler structure (g, I, J, K). In [5], D. Huybrechts suggests that it is an open and interesting question whether any Kahler class that stays Kahler in the twister family can actually be represented by an harmonic Kahler form. In this paper we will consider both this problem and the set of all the primitive harmonic Kahler forms on M.