void script_513() {
	globalint_51 = 1;
	return;
}