#include <stdio.h>

int main(void) {
	int max, i;
	scanf("%d", &max);
	while (scanf("%d", &i) > 0)
		if (!(i % 5) && i > max)
			max = i;
	printf("%d\n", max);
	// your code goes here
	return 0;
}