#include <stdio.h>
 
int main(void)
{
  int num=125
  printf("num =  %d", num);
 
  return 0;
}