void script_4936() {
	script_4937();
	return;
}