#include <iostream>
#include <string>

int main() {
	std::string s = "JACK1940383DAVID30284HAROLD68372TROY4392";
	std::string::size_type start = 0, end;
	
	while ((end = s.find_first_of("0123456789", start)) != std::string::npos) {
	    std::string name = s.substr(start, end-start);
    	start = end;

    	int number;
    	if ((end = s.find_first_not_of("0123456789", start)) != std::string::npos) {
        	number = std::stoi(s.substr(start, end-start));
	    }
    	else {
        	number = std::stoi(s.substr(start));
    	}
	    start = end;

    	// use name and number as needed...
		std::cout << name << '/' << number << std::endl;
	}
	
	return 0;
}