Rename 3.hs to 003.hs