void script_1872() {
	script_1873();
	return;
}