void script_3256() {
	script_3257();
	return;
}