#include <iostream>

int main()
{
	unsigned int firstMax = 0;
	unsigned int secondMax = 0;
	unsigned int number;
	std::cin >> number;
	while (number != 0) {		
		if (number > firstMax) {
			secondMax = firstMax;
			firstMax = number;
		}
		else if (number > secondMax)
			secondMax = number;
		std::cin >> number;
	};
	std::cout << secondMax <<std::endl;
}