void script_4278() {
	script_4212(71172125, 4040, 15458492, 5918266, "Refresh");
	return;
}