Rename 7.hs to 007.hs