WrestleMania X-Seven was the seventeenth yearly WrestleMania professional wrestling pay-per-view made by the World Wrestling Federation ( WWF ) . WrestleMania X-Seven was the seventeenth annual WrestleMania professional wrestling pay-per-view produced by the World Wrestling Federation ( WWF ) .