#include <stdio.h>
​
int main() {
  int myNum = 15;
  printf("My favorite number is: %d", myNum);
  return 0;
}