#include <stdio.h>

int main()
{
    int num1=7;
    printf ("the value is : %d",num1);
    getchar();
}