// Page 077 - 078
// find max?

import java.util.Scanner;
class FindMax1
{
	public static void main(String[] args)
	{
			Scanner input = new Scanner(System.in);
			double data;
			int count = 0;
			double max;

			data = input.nextDouble();
			count ++;
			max = data;		// no pre-knowledge

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