Hussman fund question.Someone is telling me Hussman has two funds.I can only find info on HSGFX.Does anyone know of any other Hussman fund?