#include <stdio.h>

int main(void)
{
	int digit, min;

	scanf("%d", &digit);
	min = digit;

	while (digit != 0)
	{
		scanf("%d", &digit);
		if (digit > 0 && digit < min) 
			min = digit;
	}

	printf("%d\n", min);
	
	return 0;
}