#include 

int main(void)
{
  int num=125
  printf("num =  %d", num);

  return 0;
}