Rename 4.hs to 004.hs