/* package whatever; // don't place package name! */

import java.util.*;
import java.lang.*;
import java.io.*;
import java.util.regex.*;

/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
	public static void main (String[] args) throws java.lang.Exception
	{
		BufferedReader stdinReader = new BufferedReader(new InputStreamReader(System.in));
		Pattern p = Pattern.compile("_(\\d+)\\.[^.]+$");
		stdinReader.lines().forEach(input -> {
			Matcher m = p.matcher(input);
			if (m.find()) {
				System.out.printf("%s - version found : %s%n", input, m.group(1));
			} else {
				System.out.println("No version found in " + input);
			}
		});
	}
}