#include <stdio.h>

extern int ticket(void);

int main()
{
  for (;;)
    printf("%d\n", ticket());
}