void script_4271() {
	script_4272();
	return;
}