"; $token = strtok(" "); }