void script_3251() {
	script_2276(globalint_1201, globalint_1222, 61145377);
	return;
}