int main()
{
  char s1[100],s;
  int a[310],i=0,j=0,t=0,k,r;
  while(1)
  {
	  s=getchar();
	  if(s=='\n')
	  { 
		  r=1;
		  for(k=j-1;k>=0;k--)
		  {
			  t=t+(s1[k]-'0')*r;
			  r=r*10;
		  }
		  a[i]=t;
		  t=0;
		  j=0;
		  i++;
		  break;
	  }
	  else if(s>='0'&&s<='9')
	  {
		  s1[j]=s;
		  j++;
	  }
	  else
	  {
		  r=1;
		  for(k=j-1;k>=0;k--)
		  {
			  t+=(s1[k]-'0')*r;
			  r*=10;
		  }
		  a[i]=t;
		  t=0;
		  j=0;
		  i++;
	  }
  }
  int n=i;
  int max=-1;
  for(i=0;i<n;i++)
  if(a[i]>max) max=a[i];
  for(i=0;i<n;i++)
  if(a[i]==max) a[i]=-2;
  max=-1;
  for(i=0;i<n;i++)
  if(a[i]>max) max=a[i];
  if(max>-1)
  printf("%d\n",max);
  else printf("No\n");
  getchar();
  getchar();
}
