void script_3234() {
	script_3235();
	return;
}