KORG PA4X 76 - Manual (Page 361)

Saving MIDI Songs |357
At this point, press the EXIT button if you prefer to exit without saving the
Song.
4 Touch the Save button to save the Song into the current folder. The Save
Song dialog box will appear.
5 You may change the name of the Song. Touch the Text Edit ( ) icon to
open the virtual keyboard and edit the name. When done editing the name,
confirm by touching the OK button under the virtual keyboard.
If you started from an existing file, changing the name will create a new file
and will not overwrite the existing file.
6 When back to the Save Song dialog, touch the OK button to save the Song.
A Standard MIDI File format 0 (Zero) will be created in the target storage
device. The file will have a .mid extension.
A setup measure, containing various Song initialization parameters, will be
inserted at the beginning of the Song.