Rename 5.hs to 005.hs