Console.print('This is called from JavaScript');

const platformNames = {
  [System.PLATFORM_LINUX]:    'Linux',
  [System.PLATFORM_KNULLI]:   'Knulli',
  [System.PLATFORM_PSP]:      'PSP',
  [System.PLATFORM_GAMECUBE]: 'GameCube',
  [System.PLATFORM_WII]:      'Wii',
};

const platformName = platformNames[System.platform] || 'Unknown';
Console.print('Platform: ' + platformName);