#include <bits/stdc++.h>

using namespace std;

int main(int argc, char **argv) {
	printf("%s: %d\n", __FILE__, __LINE__);
	printf("%s, %s\n", __DATE__, __TIME__);
	return 0;
}