IDToName
This function is obsolete. GetPlayerStat should be used instead.
From the Scripting Manual
function IDToName(ID: integer): string Parameter Info: ID (Integer): Player ID which will be used to return the Player Name. Description: This function will return the Player Name of Player number (ID).
Examples
WriteLn('Player 1 is currently '+IDToName(1));