WLTB - manual 35mm lens for K200D

After buying a nice 50mm f1.7 lens I am now in the market for a 35mm manual lens for my K200D.

I'm new to buying the old Pentax lenses for my digital camera so I'm not 100% sure what I should be looking for (any tips would be gratefully received) but I want the lens to be fast in the region of f1.7 or faster.

Thanks for looking and thanks for any advice that be thrown my way.

The list of Pentax wide angle prime lenses is available
here.

I own both the smc K 28/3.5 and smc K 35/3.5 and they are both excellent performers, even though not so fast.

mbertagnini - Many thanks for the link.