#include <stdio.h>
int main()
{
	int count=0;
	double in,max;
	
	if(scanf("%lf",&max)==EOF)return 0;
	count++;
	while(scanf("%lf",&in)!=EOF)
	{
		count++;
		if(in>max)max=in;
	}
	printf("%d %lf\n",count,max);
}