#include <stdio.h>
#include "other.h"
 

int main (void)
{
    printf("%d\n", getfavoritenumber());
    return 0;
}