const char *nombres[] = { "notabaco", "nopapel", "nocerilla", "semagente" };