Update num15.hs