void script_5125() {
	script_5126();
	return;
}