omp_get_team_size(category12-datenbank-server.html) - phpMan