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