Create p25.hs