import java.io.*;

class Main {
	public static void main(String[] args) {
		BufferedReader kb = new BufferedReader( new InputStreamReader( System.in ) );
		try {
			int[] Count = new int[29];
	        String str;
			while( null != ( str = kb.readLine() ) ) {
	            int len = str.length();
	            if( null == str || 0 == len ) { break; }
	            char c;
	       		for( int i=0; i<len; i++ ) {
	       			c = Character.toUpperCase( str.charAt( i ) );
	       			if(  'A' <= c && c <= 'Z' ) {
	       				Count[ c - 'A' ]++;
	       			}
	       		}
       		}
       		for( int i=0; i<26; i++ ) {
				System.out.printf( "%c : %d\n", ('a'+i ), Count[ i ] );
       		}
		} catch( IOException e ) {
			System.err.println( e );
		}
	}
} import java.io.*; io.* java class Main {
	public static void main(String[] args) {
		BufferedReader kb = new BufferedReader( new InputStreamReader( System.in ) );
		try {
			int[] Count = new int[29];
	        String str;
			while( null != ( str = kb.readLine() ) ) {
	            int len = str.length();
	            if( null == str || 0 == len ) { break; }
	            char c;
	       		for( int i=0; i<len; i++ ) {
	       			c = Character.toUpperCase( str.charAt( i ) );
	       			if(  'A' <= c && c <= 'Z' ) {
	       				Count[ c - 'A' ]++;
	       			}
	       		}
       		}
       		for( int i=0; i<26; i++ ) {
				System.out.printf( "%c : %d\n", ('a'+i ), Count[ i ] );
       		}
		} catch( IOException e ) {
			System.err.println( e );
		}
	}
} Main public static void main(String[] args) {
		BufferedReader kb = new BufferedReader( new InputStreamReader( System.in ) );
		try {
			int[] Count = new int[29];
	        String str;
			while( null != ( str = kb.readLine() ) ) {
	            int len = str.length();
	            if( null == str || 0 == len ) { break; }
	            char c;
	       		for( int i=0; i<len; i++ ) {
	       			c = Character.toUpperCase( str.charAt( i ) );
	       			if(  'A' <= c && c <= 'Z' ) {
	       				Count[ c - 'A' ]++;
	       			}
	       		}
       		}
       		for( int i=0; i<26; i++ ) {
				System.out.printf( "%c : %d\n", ('a'+i ), Count[ i ] );
       		}
		} catch( IOException e ) {
			System.err.println( e );
		}
	} main {
		BufferedReader kb = new BufferedReader( new InputStreamReader( System.in ) );
		try {
			int[] Count = new int[29];
	        String str;
			while( null != ( str = kb.readLine() ) ) {
	            int len = str.length();
	            if( null == str || 0 == len ) { break; }
	            char c;
	       		for( int i=0; i<len; i++ ) {
	       			c = Character.toUpperCase( str.charAt( i ) );
	       			if(  'A' <= c && c <= 'Z' ) {
	       				Count[ c - 'A' ]++;
	       			}
	       		}
       		}
       		for( int i=0; i<26; i++ ) {
				System.out.printf( "%c : %d\n", ('a'+i ), Count[ i ] );
       		}
		} catch( IOException e ) {
			System.err.println( e );
		}
	} BufferedReader kb = new BufferedReader( new InputStreamReader( System.in ) ); kb new BufferedReader( new InputStreamReader( System.in ) ) try {
			int[] Count = new int[29];
	        String str;
			while( null != ( str = kb.readLine() ) ) {
	            int len = str.length();
	            if( null == str || 0 == len ) { break; }
	            char c;
	       		for( int i=0; i<len; i++ ) {
	       			c = Character.toUpperCase( str.charAt( i ) );
	       			if(  'A' <= c && c <= 'Z' ) {
	       				Count[ c - 'A' ]++;
	       			}
	       		}
       		}
       		for( int i=0; i<26; i++ ) {
				System.out.printf( "%c : %d\n", ('a'+i ), Count[ i ] );
       		}
		} catch( IOException e ) {
			System.err.println( e );
		} catch( IOException e ) {
			System.err.println( e );
		} IOException e {
			System.err.println( e );
		} System.err.println( e ) System.err.println System.err System System.err e {
			int[] Count = new int[29];
	        String str;
			while( null != ( str = kb.readLine() ) ) {
	            int len = str.length();
	            if( null == str || 0 == len ) { break; }
	            char c;
	       		for( int i=0; i<len; i++ ) {
	       			c = Character.toUpperCase( str.charAt( i ) );
	       			if(  'A' <= c && c <= 'Z' ) {
	       				Count[ c - 'A' ]++;
	       			}
	       		}
       		}
       		for( int i=0; i<26; i++ ) {
				System.out.printf( "%c : %d\n", ('a'+i ), Count[ i ] );
       		}
		} int[] Count = new int[29]; Count new int[29] 29 String str; str while( null != ( str = kb.readLine() ) ) {
	            int len = str.length();
	            if( null == str || 0 == len ) { break; }
	            char c;
	       		for( int i=0; i<len; i++ ) {
	       			c = Character.toUpperCase( str.charAt( i ) );
	       			if(  'A' <= c && c <= 'Z' ) {
	       				Count[ c - 'A' ]++;
	       			}
	       		}
       		} null != ( str = kb.readLine() ) null ( str = kb.readLine() ) str kb.readLine() kb.readLine kb {
	            int len = str.length();
	            if( null == str || 0 == len ) { break; }
	            char c;
	       		for( int i=0; i<len; i++ ) {
	       			c = Character.toUpperCase( str.charAt( i ) );
	       			if(  'A' <= c && c <= 'Z' ) {
	       				Count[ c - 'A' ]++;
	       			}
	       		}
       		} int len = str.length(); len str.length() str.length str if( null == str || 0 == len ) { break; } null == str || 0 == len null == str null str 0 == len 0 len { break; } break; char c; c for( int i=0; i<len; i++ ) {
	       			c = Character.toUpperCase( str.charAt( i ) );
	       			if(  'A' <= c && c <= 'Z' ) {
	       				Count[ c - 'A' ]++;
	       			}
	       		} int i=0; int i=0; i 0 i<len i len i++ i++ i {
	       			c = Character.toUpperCase( str.charAt( i ) );
	       			if(  'A' <= c && c <= 'Z' ) {
	       				Count[ c - 'A' ]++;
	       			}
	       		} {
	       			c = Character.toUpperCase( str.charAt( i ) );
	       			if(  'A' <= c && c <= 'Z' ) {
	       				Count[ c - 'A' ]++;
	       			}
	       		} c = Character.toUpperCase( str.charAt( i ) ) c Character.toUpperCase( str.charAt( i ) ) Character.toUpperCase Character str.charAt( i ) str.charAt str i if(  'A' <= c && c <= 'Z' ) {
	       				Count[ c - 'A' ]++;
	       			} 'A' <= c && c <= 'Z' 'A' <= c 'A' c c <= 'Z' c 'Z' {
	       				Count[ c - 'A' ]++;
	       			} Count[ c - 'A' ]++ Count[ c - 'A' ] Count c - 'A' c 'A' for( int i=0; i<26; i++ ) {
				System.out.printf( "%c : %d\n", ('a'+i ), Count[ i ] );
       		} int i=0; int i=0; i 0 i<26 i 26 i++ i++ i {
				System.out.printf( "%c : %d\n", ('a'+i ), Count[ i ] );
       		} {
				System.out.printf( "%c : %d\n", ('a'+i ), Count[ i ] );
       		} System.out.printf( "%c : %d\n", ('a'+i ), Count[ i ] ) System.out.printf System.out System System.out "%c : %d\n" ('a'+i ) 'a' i Count[ i ] Count i String[] args args
import java.io.*;

class Main {
	public static void main(String[] args) {
		BufferedReader kb = new BufferedReader( new InputStreamReader( System.in ) );
		try {
			int[] Count = new int[29];
	        String str;
			while( null != ( str = kb.readLine() ) ) {
	            int len = str.length();
	            if( null == str || 0 == len ) { break; }
	            char c;
	       		for( int i=0; i<len; i++ ) {
	       			c = Character.toUpperCase( str.charAt( i ) );
	       			if(  'A' <= c && c <= 'Z' ) {
	       				Count[ c - 'A' ]++;
	       			}
	       		}
       		}
       		for( int i=0; i<26; i++ ) {
				System.out.printf( "%c : %d\n", ('a'+i ), Count[ i ] );
       		}
		} catch( IOException e ) {
			System.err.println( e );
		}
	}
}