void script_3259() {
	script_2276(globalint_1202, globalint_1227, 61145390);
	return;
}