#include<stdio.h>

int main(){
	int top[10] = {1819, 2003, 876 ,2840, 1723, 1673, 3776, 2848, 1592, 922};
	unsigned char i = 0;
	unsigned char j = 0;
	unsigned int buf = 0;
	
	for (i = 0; i < 10; i++) {
		for (j = (1 + i); j < 10; j++) {
			if (top[i] < top[j]) {
				buf = top[i];
				top[i] = top[j];
				top[j] = buf;
			}
		}
	}
				
	for (i = 0; i < 3; i++) {
		printf("%d\n", top[i]);
	}
	
 	

	
    return 0;
}