void script_2532() {
	script_2533();
	return;
}