>>651
#include<stdio.h>
int main(void){
puts("1000 2000 3000 3114");
return 0;
}