void script_4256(int arg0) {
	return;
}