#include <stdio.h>
void main ()
{
	printf("%d",05133);  //八进制以0开头
	printf("forever\n");
}