#include<iostream>

#include<fstream>

using namespace std;

void process(string filename)

{

	fstream file(filename);

	file << "Hallo world!" << endl;

	file.close();

}

int main()

{

#include"haha.txt"

	string s = "haha.txt";

	process(s);

	return 0;

}