#include <stdio.h>
int main( void )
{
    int num;
    FILE *fptr1;

    fptr1 = fopen( "abc.txt", "w" );
    num = 127;

    fprintf( fptr1, "%d", num );
    fclose( fptr1 );
}