Input (grade 13): Originally named Joe Robbie Stadium, it has also been known as Pro Player Park, Pro Player Stadium, Dolphin Stadium, Dolphins Stadium and Land Shark Stadium.
Output (grade 11): It used to be called Joe Robbie Stadium, Pro Player Park, Pro Player Stadium, Land Shark Stadium and Dolphin Stadium.