void script_557() {
	script_558(bitconfig_4122);
	return;
}