Create p12.hs