An enhanced remake for the Nintendo DS called Super Mario NUMBER@1 DS was available for the launch of the Nintendo DS in NUMBER@2 .

In NUMBER@2 , the game was re-released for the Nintendo DS as Super Mario NUMBER@1 DS .
