void script_3942() {
	script_2715();
	return;
}