WrestleMania 2000 ( sequentially known as WrestleMania 16 ) was the sixteenth annual WrestleMania professional wrestling pay-per-view produced by the World Wrestling Federation ( WWF ) .
WrestleMania 2000 ( also known as WrestleMania XVI ) was the sixteenth yearly WrestleMania professional wrestling pay-per-view produced by the World Wrestling Federation ( WWF ) .