void script_4040() {
	script_4041();
	return;
}