#include <stdio.h>

int num = 0x07D4;

void main()
{
     printf("Year: %d\n",num);
}