make numPlatforms a global parameter