void script_3517(int arg0) {
	if (script_3547(12) == script_3545(12)) {
		script_3633(arg0);
	} else {
		script_3634(arg0);
	}
	return;
}