void script_4925() {
	script_4926();
	return;
}