void script_4287() {
	script_4288();
	return;
}