void script_4142() {
	script_4143();
	return;
}