void script_3435() {
	globalint_1280 = 1;
	return;
}