int main(void) {
	int a;
	a = 123456 + "STRING";
	return 0;
}