add 012.hs