#include
int main() { int i=500; while(i++ !=0); printf("%d\n",i); return 0; }