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

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

import java.util.stream.* ;

/* 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
	{
	    List< Integer > codePoints = "Java".codePoints().boxed().collect( Collectors.toList() ) ;
	    Integer codePoint = "a".codePoints().toArray()[0] ;
	    int frequency = Collections.frequency( codePoints , codePoint ) ;
	
	    String output = String.valueOf( frequency ) + " ‘" + Character.toString( codePoint ) + "’" ;
	    if ( frequency!= 1 ) {
	        output = output + "s" ; 
	    }
	
		System.out.println( output ) ;
	}
}