void script_4931() {
	script_4932();
	return;
}