void script_5128() {
	script_5129();
	return;
}