// Page 077 - 078
// find max?

import java.util.Scanner;
class FindMax
{
	public static void main(String[] args)
	{
			Scanner input = new Scanner(System.in);
			double data;
			int count = 0;
			double max = 0;	// limit: know data range!

			while (input.hasNextDouble())
			{
				data = input.nextDouble();
				if(max < data)
					max = data;
				count ++;
			}
			System.out.println("max: "+max);
			System.out.println("size: "+count);
	}
}