What synthesizers were used in the song "Girls Just want to have fun?"

Hello. I'm new to this sub. I would like to know which synthesizers were used in this song (prophet, juno 60 etc...) I found an article saying that juno 60 and prophet were used in the album, but I would like to know specifically about this song.