void script_2542() {
	script_2543();
	return;
}