De netnummers van Costa Rica: